diff options
author | Navan Chauhan <navanchauhan@gmail.com> | 2024-04-02 23:15:19 -0600 |
---|---|---|
committer | Navan Chauhan <navanchauhan@gmail.com> | 2024-04-02 23:15:19 -0600 |
commit | fc2a529d13fdc0e86580ba2260d8fc59b0e69023 (patch) | |
tree | 67fc347a279074a945cec23717f612fc69a641fe /.github/workflows/publish.yml |
Create navanchuahan/tap tap
Diffstat (limited to '.github/workflows/publish.yml')
-rw-r--r-- | .github/workflows/publish.yml | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml new file mode 100644 index 0000000..da14201 --- /dev/null +++ b/.github/workflows/publish.yml @@ -0,0 +1,39 @@ +name: brew pr-pull +on: + pull_request_target: + types: + - labeled +jobs: + pr-pull: + if: contains(github.event.pull_request.labels.*.name, 'pr-pull') + runs-on: ubuntu-22.04 + permissions: + contents: write + packages: none + pull-requests: write + steps: + - name: Set up Homebrew + uses: Homebrew/actions/setup-homebrew@master + + - name: Set up git + uses: Homebrew/actions/git-user-config@master + + - name: Pull bottles + env: + HOMEBREW_GITHUB_API_TOKEN: ${{ github.token }} + HOMEBREW_GITHUB_PACKAGES_TOKEN: ${{ github.token }} + HOMEBREW_GITHUB_PACKAGES_USER: ${{ github.actor }} + PULL_REQUEST: ${{ github.event.pull_request.number }} + run: brew pr-pull --debug --tap=$GITHUB_REPOSITORY $PULL_REQUEST + + - name: Push commits + uses: Homebrew/actions/git-try-push@master + with: + token: ${{ github.token }} + branch: main + + - name: Delete branch + if: github.event.pull_request.head.repo.fork == false + env: + BRANCH: ${{ github.event.pull_request.head.ref }} + run: git push --delete origin $BRANCH |