From b390b929bd454cec2a291b6bdcf8bee7946a87b7 Mon Sep 17 00:00:00 2001
From: Domen Kožar <domen@dev.si>
Date: Mon, 14 Jun 2021 13:47:22 +0200
Subject: direct-push action: delay to workaround eventually consistent DB

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

(limited to '.github')

diff --git a/.github/workflows/direct-push.yml b/.github/workflows/direct-push.yml
index 6177004295f..459475c3c6b 100644
--- a/.github/workflows/direct-push.yml
+++ b/.github/workflows/direct-push.yml
@@ -17,6 +17,9 @@ jobs:
       run: |
         ISMERGE=$(curl -H 'Accept: application/vnd.github.groot-preview+json' -H "authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" https://api.github.com/repos/${{ env.GITHUB_REPOSITORY }}/commits/${{ env.GITHUB_SHA }}/pulls | jq -r '.[] | select(.merge_commit_sha == "${{ env.GITHUB_SHA }}") | any')
         echo "::set-output name=ismerge::$ISMERGE"
+    # github events are eventually consistent, so wait until changes propagate to thier DB
+    - run: sleep 60
+      if: steps.ismerge.outputs.ismerge != 'true'
     - name: Warn if the commit was a direct push
       if: steps.ismerge.outputs.ismerge != 'true'
       uses: peter-evans/commit-comment@v1
-- 
cgit 1.4.1