diff --git a/post_issue_on_zulip.py b/post_issue_on_zulip.py
index 4bd2cb3..c16728d 100644
--- 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 = []