fix: get mathlib4 contributors instead of mathlib3

leanprover-community · Sep 18, 2024 · 44c866f · 44c866f
1 parent cc33737
commit 44c866f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make_site.py b/make_site.py
@@ -446,7 +446,7 @@ class Project:
     projects = pkl_load('projects', [])
 
 if DOWNLOAD:
-    num_contrib = github.get_repo('leanprover-community/mathlib').get_contributors(anon=True).totalCount
+    num_contrib = github.get_repo('leanprover-community/mathlib4').get_contributors(anon=True).totalCount
     pkl_dump('num_contrib', num_contrib)
 else:
     num_contrib = pkl_load('num_contrib', 0)