]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
CI: Do not allow merge if labelled DO-NOT-MERGE (GH-103337)
authorMiss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Sun, 9 Apr 2023 07:01:49 +0000 (00:01 -0700)
committerGitHub <noreply@github.com>
Sun, 9 Apr 2023 07:01:49 +0000 (00:01 -0700)
commitda3b77b828f4218b3c67185c80413742fb4d2a06
treebc5a29b0877dfe610190fc7ff1fc59c1b12db715
parent4fa5fda14b11457dda7ef389e5486bfe3ea7b8f5
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>
.github/workflows/require-pr-label.yml [new file with mode: 0644]