From 814e1cb68cf0e0466ed8f6b20c3b1d9f00be6531 Mon Sep 17 00:00:00 2001
From: Kevin van Rijn <kevinvanrijn@users.noreply.github.com>
Date: Thu, 5 Oct 2023 09:36:46 +0200
Subject: [PATCH] Ignore error when the pull has already been closed

---
 .github/workflows/automerge.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/automerge.yml b/.github/workflows/automerge.yml
index 8cf2cf5c30..e98d935ead 100644
--- a/.github/workflows/automerge.yml
+++ b/.github/workflows/automerge.yml
@@ -52,5 +52,6 @@ jobs:
     - name: close
       if: ${{ github.actor == 'renovate[bot]' || (github.actor == 'dependabot[bot]' && env.automerge_pull_action == 'close') }}
       uses: peter-evans/close-pull@v3.0.1
+      continue-on-error: true
       with:
         delete-branch: true