From 68548d8db953ca238e1894ff388b5d6f3715cf33 Mon Sep 17 00:00:00 2001 From: Matt Gibson Date: Mon, 31 Jan 2022 13:44:29 -0500 Subject: [PATCH] Add bot to enforce hold PRs aren't merged (#456) * Add bot to enforce hold PRs aren't merged * Use commit hash rather than tag --- .github/workflows/enforce-labels.yml | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .github/workflows/enforce-labels.yml diff --git a/.github/workflows/enforce-labels.yml b/.github/workflows/enforce-labels.yml new file mode 100644 index 0000000000..7eb09699ef --- /dev/null +++ b/.github/workflows/enforce-labels.yml @@ -0,0 +1,13 @@ +name: Enforce PR labels + +on: + pull_request: + types: [labeled, unlabeled, opened, edited, synchronize] +jobs: + enforce-label: + runs-on: ubuntu-latest + steps: + - uses: yogevbd/enforce-label-action@8d1e1709b1011e6d90400a0e6cf7c0b77aa5efeb + with: + BANNED_LABELS: "hold" + BANNED_LABELS_DESCRIPTION: "PRs on hold cannot be merged"