use hello

leanprover-community · Aug 2, 2024 · b8458c6 · b8458c6
1 parent b546c2a
commit b8458c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
@@ -75,7 +75,7 @@ jobs:
           # the PR number
           PR="${PR}"
           echo "using: '${title}' '${PR}'"
-          #data=$(jq -n --arg msg "$message" '{"body": $msg}')
+          data=$(jq -n --arg msg "hello" '{"body": $msg}') # "$message" '{"body": $msg}')
           echo "data: ${data}"
           #man jq
           baseURL="https://api.github.com/repos/leanprover-community/blog/issues"