unassign

leanprover-community · Aug 2, 2024 · f18d295 · f18d295
1 parent ac8175c
commit f18d295
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
@@ -77,7 +77,7 @@ jobs:
           # the start of the message to locate it among all messages in the PR
           comment_init="${title}"
           # the PR number
-          PR="${PR}"
+          #PR="${PR}"
           echo "using: '${title}' '${PR}'"
           data=$(jq -n --arg msg "hello" '{"body": $msg}') # "$message" '{"body": $msg}')
           echo "data: ${data}"