Improve PR title formatting

mbg · mbg · commit 37a3fcc3af9c · 2025-06-23T12:45:26.000+01:00
diff --git a/.github/workflows/update-proxy-release.yml b/.github/workflows/update-proxy-release.yml
@@ -49,7 +49,7 @@ jobs:
           GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
         run: |
           set -exu
-          pr_title="Update release used by \`start-proxy\` to $RELEASE_TAG"
+          pr_title="Update release used by \`start-proxy\` to \`$RELEASE_TAG\`"
           pr_body=$(cat << EOF
             This PR updates the `start-proxy` action to use the private registry proxy binaries that
             are attached as release assets to the `$RELEASE_TAG` release.
