From: Ernesto Puerta <epuertat@redhat.com>
Date: Fri, 8 Oct 2021 17:14:17 +0000 (+0200)
Subject: .github: check if PR deps are merged/closed
X-Git-Tag: v17.1.0~720^2
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=61011a43a3d3a7ba81d272671eb8c11a44db304f;p=ceph.git

.github: check if PR deps are merged/closed

If a PR description includes `blocked by <pr>` or `depends on <pr>`,
this check will fail until the referred PRs are either merged or closed.

If this check is made required, it'll also block the merge button.

The details of the supported syntax can be checked at:
https://github.com/marketplace/actions/pr-dependency-check

Signed-off-by: Ernesto Puerta <epuertat@redhat.com>
---

diff --git a/.github/workflows/pr-check-deps.yml b/.github/workflows/pr-check-deps.yml
new file mode 100644
index 000000000000..7815b8fe486f
--- /dev/null
+++ b/.github/workflows/pr-check-deps.yml
@@ -0,0 +1,10 @@
+name: Check PR dependencies
+on: [pull_request_target]
+jobs:
+  check_dependencies:
+    runs-on: ubuntu-latest
+    name: Check PR Dependencies
+    steps:
+    - uses: gregsdennis/dependencies-action@80b5ffec566913b1494d5a8577ab0d60e476271d
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}