chore: fix escaping in create-adaptation-pr.sh (#21246)

leanprover-community · Jan 30, 2025 · d9b81fa · d9b81fa
1 parent e6b6302
commit d9b81fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/create-adaptation-pr.sh b/scripts/create-adaptation-pr.sh
@@ -198,7 +198,7 @@ if git diff --name-only bump/$BUMPVERSION bump/nightly-$NIGHTLYDATE | grep -q .;
   echo "### [auto] post a link to the PR on Zulip"
 
   zulip_title="#$pr_number adaptations for nightly-$NIGHTLYDATE"
-  zulip_body="> $pr_title #$pr_number"$'\n\nPlease review this PR. At the end of the month this diff will land in `master`.'
+  zulip_body=$(printf "> %s\n\nPlease review this PR. At the end of the month this diff will land in \`master\`." "$pr_title #$pr_number")
 
   echo "Posting the link to the PR in a new thread on the #nightly-testing channel on Zulip"
   echo "Here is the message:"