Zulip Chat Archive
Stream: mathlib4
Topic: permission
Alex Kontorovich (Mar 31 2023 at 21:02):
May I please have permission to push to mathlib4 branch?
Alex Kontorovich (Mar 31 2023 at 21:03):
My github user name is AlexKontorovich. Thanks!
Kevin Buzzard (Mar 31 2023 at 21:25):
@maintainers
Heather Macbeth (Mar 31 2023 at 21:30):
I think I did it.
Last updated: May 02 2025 at 03:31 UTC