use leanprover

adomani · adomani · commit acaf9f3e182e · 2024-08-02T08:34:24.000+02:00
diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
@@ -21,7 +21,7 @@ jobs:
 
       - uses: actions/checkout@v4
         with:
-          repository: mathlib4
+          repository: leanprover-community/mathlib4
           fetch-depth: 0
           ref: master
 
