Zulip Chat Archive

Stream: general

Topic: leanprover-community

Reid Barton (Sep 25 2018 at 01:05):

I don't seem to have write access to leanprover-community/mathlib; could someone add me?

Mario Carneiro (Sep 25 2018 at 01:08):

You were already sent an invite, but it says you never responded

Reid Barton (Sep 25 2018 at 01:09):

Oh...

Mario Carneiro (Sep 25 2018 at 01:09):

does this work for you? https://github.com/leanprover-community/mathlib/invitations

Reid Barton (Sep 25 2018 at 01:10):

Right, I found it. Thanks

Last updated: Dec 20 2023 at 11:08 UTC