diff --git a/.github/workflows/repair-pr-title.yml b/.github/workflows/repair-pr-title.yml index bba3e3bf4..96d3504ec 100644 --- a/.github/workflows/repair-pr-title.yml +++ b/.github/workflows/repair-pr-title.yml @@ -18,7 +18,7 @@ jobs: PR="$(curl \ -H "Accept: application/vnd.github.v3+json" \ -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ - "${PR_API_URL}") + "${PR_API_URL}")" echo "PR: $PR" # This will be a JSON-quoted string. We do _not_ strip the quotes.