diff --git a/.github/workflows/monthly_pr_comment.yaml b/.github/workflows/monthly_pr_comment.yaml
index 389b4d1c82c29..b253899459164 100644
--- a/.github/workflows/monthly_pr_comment.yaml
+++ b/.github/workflows/monthly_pr_comment.yaml
@@ -23,6 +23,7 @@ jobs:
 
       - uses: actions/checkout@v4
         with:
+          repository: mathlib4
           fetch-depth: 0
           ref: master
 
diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
index 816ca16ac3417..6d403ff5adf4c 100644
--- a/.github/workflows/monthly_pr_report.yaml
+++ b/.github/workflows/monthly_pr_report.yaml
@@ -21,6 +21,7 @@ jobs:
 
       - uses: actions/checkout@v4
         with:
+          repository: mathlib4
           fetch-depth: 0
           ref: master