From 003859da90c6e327d4b48e315f88fd1a56628878 Mon Sep 17 00:00:00 2001
From: Jakob Bagterp <jakob_bagterp@hotmail.com>
Date: Wed, 6 Nov 2024 00:51:25 +0100
Subject: [PATCH] Another attempted fix of pre-commit issue: "PR is already
 merged!"

---
 .github/workflows/release.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 5bdc1dc..d897589 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -54,6 +54,9 @@ jobs:
           create-pullrequest: true
           commit-message: Updated formula to version ${{ env.FORMULA_NEW_VERSION }}
 
+      - name: Wait for pre-commit checks to complete
+        run: sleep 10
+
       - name: Try to enable auto-merge of pull request and delete branch
         env:
           GITHUB_TOKEN: ${{ secrets.HOMEBREW_TAP_TOKEN }}