Merge pull request #14 from leanprover-community/bryangingechen-patch-2

post issues / PRs from mathlib4 instead of mathlib
leanprover-community · Sep 7, 2023 · 640811f · 640811f
2 parents 676ef3b + 2e93381
commit 640811f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/post_issue_on_zulip.py b/post_issue_on_zulip.py
@@ -28,7 +28,7 @@ def message_date(id):
 print(posted_topics)
 
 gh = github.Github(login_or_token=gh_token)
-mathlib = gh.get_repo('leanprover-community/mathlib')
+mathlib = gh.get_repo('leanprover-community/mathlib4')
 
 open_items = mathlib.get_issues(state='open')
 open_prs = []