From 7f9cfd6640dd38e4732fa47b4d670902f01a39ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Silva?= <andrerfosilva@gmail.com>
Date: Tue, 31 May 2022 10:34:31 +0100
Subject: [PATCH] test_dep_update: sleep some seconds before merging PR

---
 .github/workflows/test_dep_update.sh | 10 +++++++++-
 dbgmd-00001.sign                     |  0
 result                               |  1 +
 3 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 dbgmd-00001.sign
 create mode 120000 result

diff --git a/.github/workflows/test_dep_update.sh b/.github/workflows/test_dep_update.sh
index 0b1b110..2fc3763 100755
--- a/.github/workflows/test_dep_update.sh
+++ b/.github/workflows/test_dep_update.sh
@@ -15,7 +15,15 @@ fi
 
 echo "$json" | jq '.[] | .headRefName | @text' | xargs -L1 -- git pull origin
 if nix build .#checks.x86_64-linux.init-example-el; then
-    echo "$json" | jq ".[] | .number | @text" | xargs -L1 -- gh pr merge --squash --delete-branch
+    prs=$(echo "$json" | jq ".[] | .number")
+    for pr in $prs; do
+        # Whenever there's a bunch of PRs to merge at the same time
+        # the GitHub API needs some time to update its internal
+        # state before allowing another PR to be merged.
+        sleep 5
+
+        gh pr merge --squash --delete-branch "$pr"
+    done
 else
     gh issue create \
         --title "Recent Dependency update PRs failing tests" \
diff --git a/dbgmd-00001.sign b/dbgmd-00001.sign
new file mode 100644
index 0000000..e69de29
diff --git a/result b/result
new file mode 120000
index 0000000..8fa7b55
--- /dev/null
+++ b/result
@@ -0,0 +1 @@
+/nix/store/46rxb7v3yqisakm0sd0a7w28gxwnfs5g-emacs-with-packages-28.1
\ No newline at end of file