Commit Graph

1 Commits

Author SHA1 Message Date
Ernesto Puerta
61011a43a3
.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>
2021-10-08 19:14:17 +02:00