CI: Do not allow merge if labelled DO-NOT-MERGE (GH-103337)
(cherry picked from commit 090e26ea807aa414d6a6a01d9365b0288c10a5db) Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com> Co-authored-by: C.A.M. Gerlach <CAM.Gerlach@Gerlach.CAM>
M
Miss Islington (bot) committed
da3b77b828f4218b3c67185c80413742fb4d2a06
Parent: 4fa5fda
Committed by GitHub <noreply@github.com>
on 4/9/2023, 7:01:49 AM