From f6ea1836e38dcfef4a80845be2eb252aa10179a6 Mon Sep 17 00:00:00 2001
From: adomani <adomani@gmail.com>
Date: Fri, 2 Aug 2024 13:48:49 +0200
Subject: [PATCH] escape

---
 .github/workflows/monthly_pr_report.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
index 034ada99..036adae7 100644
--- a/.github/workflows/monthly_pr_report.yaml
+++ b/.github/workflows/monthly_pr_report.yaml
@@ -68,7 +68,7 @@ jobs:
               s=\n---\nReports\n\n=\n</details>\n\n---\n\n<details><summary>Reports</summary>\n\n=
               s=\n---[\n]*$=\n\n</details>\n&=
             ')"
-          sed -i 's=$'"{GITHUB_REPOSITORY}"''=leanprover-community/blog=' mathlib/scripts/update_PR_comment.sh
+          sed -i "s=\${GITHUB_REPOSITORY}=leanprover-community/blog=" mathlib/scripts/update_PR_comment.sh
           chmod u+rx mathlib/scripts/update_PR_comment.sh
           cat mathlib/scripts/update_PR_comment.sh