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: Dec 20 2023 at 11:08 UTC