From 907500a4072a4ecb7d7dfe83ddf9ab0c0e273fa0 Mon Sep 17 00:00:00 2001
From: Michael McLoughlin <mmcloughlin@gmail.com>
Date: Sun, 1 May 2022 13:10:40 -0700
Subject: [PATCH] .github: fix automerge (#273)

Use PR html_url rather than number.
---
 .github/workflows/pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 292a8b3..adfd1ad 100644
--- 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 }}