Checking if pull requests have a release notes label

Signed-off-by: Florent Poinsard <florent.poinsard@outlook.fr>
vitessio · Oct 5, 2021 · a581324 · a581324
1 parent 458dc32
commit a581324
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