Zulip Chat Archive
Stream: mathlib4
Topic: PR Permission
Mattias Ehatamm (Nov 20 2023 at 16:56):
Hello,
I'm working under Peter Nelson in adding Matroids to Mathlib4. Could someone give me PR permission?
username: mehatamm
Johan Commelin (Nov 20 2023 at 17:31):
Welcome! Voila: https://github.com/leanprover-community/mathlib4/invitations
Last updated: Dec 20 2023 at 11:08 UTC