diff options
| author | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-12-22 10:29:52 +0200 |
|---|---|---|
| committer | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-12-22 10:29:52 +0200 |
| commit | c733a38d849a75f64d529a7b148c699fc4e03de1 (patch) | |
| tree | 3934e4e59e5f46dc226dd1433957ac5dab54e0e3 | |
| parent | eba1c1e23bd6f8cdba53de47f68112993e8fde77 (diff) | |
github: Mark the build as failed if 'do not merge' label is set
This prevents us from merging PRs marked as 'do not merge'.
Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
| -rw-r--r-- | .github/workflows/freeze.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/freeze.yml b/.github/workflows/freeze.yml index f3506d0061..a780298a42 100644 --- a/.github/workflows/freeze.yml +++ b/.github/workflows/freeze.yml @@ -1,4 +1,4 @@ -name: Warn before merging if a "freeze" label exists +name: Warn before merging if a "freeze" or "do not merge" label exists on: pull_request_target: @@ -6,12 +6,12 @@ on: jobs: freeze_warning: - if: ${{ contains(github.event.*.labels.*.name, 'freeze') }} - name: Warn before merging if a "freeze" label exists + if: ${{ contains(github.event.*.labels.*.name, 'freeze') || contains(github.event.*.labels.*.name, 'do not merge') }} + name: Warn before merging if a "freeze" or "do not merge" label exists runs-on: ubuntu-latest steps: - name: Check for "freeze" label run: | - echo "Pull request is labeled as 'freeze'" + echo "Pull request is labeled as 'freeze' or 'do not merge'" echo "This workflow fails so that the pull request cannot be merged." exit 1 |