Zulip Chat Archive
Stream: new members
Topic: PR Permission For Alex Zhao
Aaron Anderson (Oct 14 2021 at 15:02):
Can @Alex Zhao have permissions at cocohearts on github to post a PR?
Johan Commelin (Oct 14 2021 at 15:09):
https://github.com/leanprover-community/mathlib/invitations
Last updated: May 02 2025 at 03:31 UTC