Update repair-pr-title.yml

.github/workflows/repair-pr-title.yml

@@ -12,18 +12,34 @@ jobs:
 
       - name: Repair PR title
         run: |
-          PR=$(curl \
+          PR_API_URL="https://api.github.com/repos/${{ github.repository }}/pulls/${{ github.event.pull_request.number }}"
+
+          # Retrieve the PR object.
+          PR="$(curl \
             -H "Accept: application/vnd.github.v3+json" \
             -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-            "https://api.github.com/repos/${{ github.repository }}/pulls/${{ github.event.pull_request.number }}")
+            "${PR_API_URL}")
+          echo "PR: $PR"
+
+          # This will be a JSON-quoted string. We do _not_ strip the quotes.
+          # For instance (pathological example):
+          # "Bump drupal/coder from 8.3.17 to 8.3.18\" ' } \\\" ' 4"
           ORIGINAL_TITLE="$(jq '.title' <<< "$PR")"
+          echo "ORIGINAL_TITLE: $ORIGINAL_TITLE"
+
+          # Fix the prefix. This should preserve everything else.
           UPDATED_TITLE="$(echo "$ORIGINAL_TITLE" | sed -E 's/vacms ([0-9]+) /VACMS-\1: /I')"
+          echo "UPDATED_TITLE: $UPDATED_TITLE"
+
           if [ "$ORIGINAL_TITLE" != "$UPDATED_TITLE" ]; then
+            echo "Updating PR title from $ORIGINAL_TITLE to $UPDATED_TITLE"
+
+            # $UPDATED_TITLE is already quoted, so we must not quote it again.
             curl \
               -X PATCH \
               -H "Accept: application/vnd.github.v3+json" \
               -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
-              "https://api.github.com/repos/${{ github.repository }}/pulls/${{ github.event.pull_request.number }}" \
+              "${PR_API_URL}" \
               -d "{\"title\":$UPDATED_TITLE}"
           fi
         shell: bash