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: May 02 2025 at 03:31 UTC