github: look for branch target name in PR title

Signed-off-by: Simon Deziel <[email protected]>
canonical · Nov 16, 2023 · da6d6d1 · da6d6d1
1 parent 8635f82
commit da6d6d1
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/.github/workflows/commits.yml b/.github/workflows/commits.yml
@@ -26,9 +26,16 @@ jobs:
     - name: Check branch target
       env:
         TARGET: ${{ github.event.pull_request.base.ref }}
+        TITLE: ${{ github.event.pull_request.title }}
       run: |
         set -x
-        [ "${TARGET}" = "latest-edge" ] && exit 0
+        TARGET_FROM_PR_TITLE="$(echo "${TITLE}" | sed -n 's/.*(\(\(latest\|[0-9]\.[0-9]\)-\(edge\|candidate\)\))$/\1/p')"
+        if [ -z "${TARGET_FROM_PR_TITLE}" ]; then
+          TARGET_FROM_PR_TITLE="latest-edge"
+        else
+          echo "Branch target overridden from PR title"
+        fi
+        [ "${TARGET}" = "${TARGET_FROM_PR_TITLE}" ] && exit 0
 
-        echo "Invalid branch target: ${TARGET}"
+        echo "Invalid branch target: ${TARGET} != ${TARGET_FROM_PR_TITLE}"
         exit 1