ci: do not gatekeep PR agent (#735)

cloudwalk · Apr 30, 2024 · 37d7f05 · 37d7f05
1 parent 41f0c20
commit 37d7f05
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/merge-gatekeeper.yml b/.github/workflows/merge-gatekeeper.yml
@@ -19,4 +19,5 @@ jobs:
           token: ${{ secrets.GITHUB_TOKEN }}
           self: Merge Gatekeeper
           interval: 5
-          timeout: 1800
+          timeout: 1800
+          ignored: PR Agent