Merge pull request #8932 from planetscale/ensure-release-labels-are-set

Checking if pull requests have a release notes label
vitessio · Oct 8, 2021 · 8d6e89b · 8d6e89b
2 parents fad95bf + a581324
commit 8d6e89b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/pr-labels.yml b/.github/workflows/pr-labels.yml
@@ -43,4 +43,8 @@ jobs:
           echo "Expecting PR to have label 'Type: ...'"
           exit 1
         fi
+        if ! cat ${LABELS_JSON} | jq -r '.[].name ' | grep 'release notes' | wc -l | grep -q 1 ; then
+          echo "Expecting PR to have only one of the following labels: 'release notes', 'release notes none', 'release notes (needs details)'."
+          exit 1
+        fi
         exit 0