Zulip Chat Archive
Stream: mathlib4
Topic: PR permission
Peter Nelson (Mar 13 2023 at 01:50):
Hi - can someone please give me mathlib4 permission?
apnelson1
Michael Stoll (Mar 13 2023 at 02:26):
@maintainers :up:
Scott Morrison (Mar 13 2023 at 03:44):
@Peter Nelson, I've granted permissions for mathlib4.
Last updated: Dec 20 2023 at 11:08 UTC