]> git.apps.os.sepia.ceph.com Git - ceph.git/commit
projects / ceph.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab706ab) | patch
.github: check if PR deps are merged/closed 43473/head
authorErnesto Puerta <epuertat@redhat.com>
Fri, 8 Oct 2021 17:14:17 +0000 (19:14 +0200)
committerErnesto Puerta <epuertat@redhat.com>
Fri, 8 Oct 2021 17:14:17 +0000 (19:14 +0200)
commit61011a43a3d3a7ba81d272671eb8c11a44db304f
tree826690876275d441c7ec9ef1533165edf6477f7ctree | snapshot
parentab706abeeff5c8c89948fab1df21501af48fedaccommit | diff
.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>
.github/workflows/pr-check-deps.yml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.