Skip to content

[DEMO] CI: Do not allow merge if labelled DO-NOT-MERGE#47

Closed
hugovk wants to merge 1 commit intomainfrom
do-not-merge-if-do-not-merge-label-demo
Closed

[DEMO] CI: Do not allow merge if labelled DO-NOT-MERGE#47
hugovk wants to merge 1 commit intomainfrom
do-not-merge-if-do-not-merge-label-demo

Commits

Commits on Apr 7, 2023