File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -27,17 +27,16 @@ jobs:
2727 env :
2828 HOMEBREW_GITHUB_API_TOKEN : ${{ secrets.PAT }}
2929 PULL_REQUEST : ${{ github.event.pull_request.number }}
30- run : |
31- # 1. Fetch the PR branch and switch to it
32- git fetch origin pull/$PULL_REQUEST/head:pr-$PULL_REQUEST
33- git checkout pr-$PULL_REQUEST
34-
35- # 2. Run the pull (this adds the 'bottle do' lines and commits them locally)
36- brew pr-pull --debug --no-cherry-pick --workflows=tests-arm.yml --tap=$GITHUB_REPOSITORY $PULL_REQUEST
30+ run : export HOMEBREW_NO_INSTALL_FROM_API=1 ; brew pr-pull --debug --workflows=tests-arm.yml --tap=$GITHUB_REPOSITORY $PULL_REQUEST
3731
3832 - name : Push commits
3933 uses : Homebrew/actions/git-try-push@master
4034 with :
4135 token : ${{ secrets.PAT }}
42- branch : ${{ github.event.pull_request.head.ref }}
43- force : true
36+ branch : main
37+
38+ - name : Delete branch
39+ if : github.event.pull_request.head.repo.fork == false
40+ env :
41+ BRANCH : ${{ github.event.pull_request.head.ref }}
42+ run : git push --delete origin $BRANCH
You can’t perform that action at this time.
0 commit comments