Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git subrepo push --branch=master barretenberg
subrepo: subdir: "barretenberg" merged: "7afca0e7c" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "7afca0e7c" git-subrepo: version: "0.4.6" origin: "???" commit: "???" [skip ci]
- Loading branch information