]> 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 14:06:57 +0000 (15:06 +0100)
commit57d4fa8e43ff881d4fc6199573272ca6c3eff14e
tree7e9976c19d04fa51262a015efbb97701d199cba1
parent9e08b09ee1bbc22076b8f85e78679952f69276b5
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.

(cherry picked from commit 89530f1a1cb2e90b5368605fc317eaed35bf9d1f)
dangerfile.py