1
0
mirror of https://github.com/kremalicious/metamask-extension.git synced 2024-11-25 20:02:58 +01:00

Add "Do Not Merge" GH Action to block PRs with "DO-NOT-MERGE" label (#18724)

* gh action: do-not-merge

* gh action: do-not-merge update

* gh action: Do Not Merge - use github.event.pull_request

Co-authored-by: Mark Stacey <markjstacey@gmail.com>

---------

Co-authored-by: Mark Stacey <markjstacey@gmail.com>
This commit is contained in:
Ariella Vu 2023-04-21 12:31:49 -03:00 committed by GitHub
parent 0efd00b755
commit 7617a44a57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

17
.github/workflows/do-not-merge.yml vendored Normal file
View File

@ -0,0 +1,17 @@
# Fails the pull request if it has the "DO-NOT-MERGE" label
name: Check "DO-NOT-MERGE" label
on:
pull_request:
types: [opened, reopened, labeled, unlabeled, synchronize]
jobs:
do-not-merge:
runs-on: ubuntu-latest
if: ${{ contains(github.event.pull_request.labels.*.name, 'DO-NOT-MERGE') }}
steps:
- name: 'Check for label "DO-NOT-MERGE"'
run: |
echo 'This check fails PRs with the "DO-NOT-MERGE" label to block merging'
exit 1