diff --git a/.github/workflows/mirror_noir_subrepo.yml b/.github/workflows/mirror_noir_subrepo.yml new file mode 100644 index 000000000000..672a9bcc63a0 --- /dev/null +++ b/.github/workflows/mirror_noir_subrepo.yml @@ -0,0 +1,41 @@ +# Mirror a special 'aztec' branch on noir any changes that have accumulated in aztec. +# Might fail if we have pushed changes to noir that we don't expect - in which case we need an explicit pull PR. +# See the last example of such a PR for instructions. +name: Mirror to noir repo + +on: + push: + branches: + - ad/sync-noir + paths: + - 'noir/**' + - '!noir/.gitrepo' + +jobs: + build: + runs-on: ubuntu-latest + + steps: + - name: Checkout + uses: actions/checkout@v3 + with: + fetch-depth: 0 + token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }} + + # We push using git subrepo (https://github.com/ingydotnet/git-subrepo) + # with some logic to recover from squashed parent commits + # We push to subrepo, commit to master. The commit is needed + # to continue to replay. If we still hit issues such as this + # action failing due to upstream changes, a manual resolution + # PR with ./scripts/git_subrepo.sh pull will be needed. + - name: Push to branch + run: | + SUBREPO_PATH=noir + BRANCH=aztec + # identify ourselves, needed to commit + git config --global user.name AztecBot + git config --global user.email tech@aztecprotocol.com + if ./scripts/git_subrepo.sh push $SUBREPO_PATH --branch=$BRANCH; then + git commit --amend -m "$(git log -1 --pretty=%B) [skip ci]" + git push + fi diff --git a/noir/.gitrepo b/noir/.gitrepo index 9cded80286a4..6203c8d6afd6 100644 --- a/noir/.gitrepo +++ b/noir/.gitrepo @@ -4,9 +4,9 @@ ; git-subrepo command. See https://github.com/ingydotnet/git-subrepo#readme ; [subrepo] - remote = git@github.com:noir-lang/noir + remote = https://github.com/noir-lang/noir branch = master commit = 90a63042d5b5eb2edf03378dff46ce75c9cb33ba - parent = 8f1cb832cd0adeff0da69da293bb45a3748583e7 - method = merge + parent = bef260888e9f3799543d5a76f5ba40d9b9e4db89 + method = pull cmdver = 0.4.6