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: Dec 20 2025 at 21:32 UTC
@maintainers can someone give @Arien Malec write access to mathlib3? GitHub username arienmalec
Last updated: Dec 20 2025 at 21:32 UTC