Close pr not needed

See: Homebrew/brew#16097
jameelkaisar · Oct 8, 2023 · 18d7210 · 18d7210
1 parent 389b3c5
commit 18d7210
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -7,8 +7,9 @@ jobs:
   pr-pull:
     if: contains(github.event.pull_request.labels.*.name, 'pr-pull')
     runs-on: ubuntu-22.04
+    # Contributed the following lines to brew 😁
     permissions:
-      contents: write # IMPORTANT
+      contents: write
       pull-requests: write
 
     steps:
@@ -37,11 +38,3 @@ jobs:
         env:
           BRANCH: ${{ github.event.pull_request.head.ref }}
         run: git push --delete origin $BRANCH
-
-      - name: Close pr
-        if: github.event.pull_request.head.repo.fork == false
-        env:
-          GITHUB_TOKEN: ${{ github.token }}
-          PULL_REQUEST: ${{ github.event.pull_request.number }}
-          REPO: ${{ github.repository }}
-        run: gh pr close $PULL_REQUEST --repo $REPO