From 3d520fb2cc965fd1073e20e70c507cab1f3674e5 Mon Sep 17 00:00:00 2001 From: Vaughn Dice Date: Wed, 13 Sep 2023 13:22:07 -0600 Subject: [PATCH] ci(.github): remove unused publish.yml workflow Signed-off-by: Vaughn Dice --- .github/workflows/publish.yml | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 .github/workflows/publish.yml diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml deleted file mode 100644 index 9e2a27e..0000000 --- a/.github/workflows/publish.yml +++ /dev/null @@ -1,35 +0,0 @@ -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 - 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