]> git.ipfire.org Git - thirdparty/bind9.git/commit
danger: check that original MR has been merged
authorTom Krizek <tkrizek@isc.org>
Thu, 15 Dec 2022 16:51:24 +0000 (17:51 +0100)
committerTom Krizek <tkrizek@isc.org>
Fri, 16 Dec 2022 12:37:12 +0000 (13:37 +0100)
commit89530f1a1cb2e90b5368605fc317eaed35bf9d1f
tree295d26e6313a5588276830de6e51bc100d8cbb67
parent12e0b05738cbd456c8c691fd96364b1ac8b6b259
danger: check that original MR has been merged

When checking a backport MR, ensure that the original MR has been merged
already. This is vital for followup checks that verify commit IDs from
original commits are present in backport commit messages.
dangerfile.py