diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
index e8aa7b10..aa25ccc1 100644
--- a/.github/workflows/monthly_pr_report.yaml
+++ b/.github/workflows/monthly_pr_report.yaml
@@ -93,4 +93,4 @@ jobs:
           fi
 
 
-          ./mathlib/scripts/update_PR_comment.sh "${message}" "${title}" "${PR}"
+          #./mathlib/scripts/update_PR_comment.sh "${message}" "${title}" "${PR}"