Zulip Chat Archive
Stream: new members
Topic: write access?
Jireh Loreaux (Nov 16 2022 at 03:15):
@maintainers can someone give @Arien Malec write access to mathlib3? GitHub username arienmalec
Last updated: Feb 28 2026 at 14:05 UTC
@maintainers can someone give @Arien Malec write access to mathlib3? GitHub username arienmalec
Last updated: Feb 28 2026 at 14:05 UTC