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