Zulip Chat Archive

Stream: mathlib4

Topic: mathlib4 permission

Peter Nelson (Jun 02 2023 at 15:01):

@maintainers Can I please have an invitation to contribute to mathlib4? I just submitted a porting PR that I can't adjust tags for. apnelson1. Thanks

Riccardo Brasca (Jun 02 2023 at 15:02):

"Already has a pending invitation to this repository" :D

Markus Himmel (Jun 02 2023 at 15:03):

It said that your invite was expired, so I sent you a new one.

Peter Nelson (Jun 02 2023 at 17:11):

Thank you! I forgot to accept the previous one.

Last updated: Dec 20 2023 at 11:08 UTC