mim1

.github/workflows/monthly_pr_report.yaml

@@ -53,10 +53,10 @@ jobs:
 
           #git checkout origin/adomani/yd_find_label monthly_summary.sh
           #mim="$(printf '%s\n\n%s\n' "${title}" "$(cd mathlib; ./../blog/monthly_summary.sh "${MATHLIB}" "${yrMth}")")"
-          mim="${title} and something else"
+          mim1="${title} and something else"
           #echo "${mim}"
           baseUrl="https://github.com/${MATHLIB}/pull"
-          mim="$(echo "${mim}" |
+          mim="$(echo "${mim1}" |
             sed '
               / [0-9]* PRs$/{
                 s=^=</details><details><summary>\n=
@@ -68,19 +68,9 @@ 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&=
             ')"
-          echo "${mim}"
-          echo "pwd"
-          pwd
-          echo "ls"
-          ls
-          #cd ..
-          #echo ".. ls"
-          #pwd
-          ls
           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
-          printf './mathlib/scripts/update_PR_comment.sh %s %s %s\n' "message" "${title}" "${PR}"
 
           # the text of the message that will replace the current one
           message="${mim}"