diff --git a/.github/workflows/require_label.yml b/.github/workflows/require_label.yml index 38df65515..ea847fb22 100644 --- a/.github/workflows/require_label.yml +++ b/.github/workflows/require_label.yml @@ -22,3 +22,13 @@ jobs: feature documentation no changelog + do-not-merge: + if: ${{ contains(github.event.pull_request.labels.*.name, 'do not merge') }} + runs-on: ubuntu-22.04 + steps: + - name: prevent merge + run: | + tee "${GITHUB_STEP_SUMMARY}" <<'EOF' + This PR is labeled as `do not merge`, remove the label to make this check pass. + EOF + exit 1