.github: fix automerge (#273)

Use PR html_url rather than number.
2022-05-01 13:10:40 -07:00
parent b04c1d7a0f
commit 907500a407
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -15,6 +15,6 @@ jobs:
          private_key: ${{ secrets.APP_PRIVATE_KEY }}
      - name: Automerge Bot Pull Requests
        if: ${{ github.actor == 'cadobot[bot]' }}
-        run: gh pr merge --auto --squash ${{ github.event.pull_request.number }}
+        run: gh pr merge --auto --squash "${{ github.event.pull_request.html_url }}"
        env:
          GITHUB_TOKEN: ${{ steps.bot.outputs.token }}