Zulip Chat Archive

Stream: LftCM22

Topic: mathlib write permission

Ryan McCorvie (Jul 12 2022 at 15:51):

Hello, could you please send me an invite too? My github is mccorvie

Johan Commelin (Jul 12 2022 at 15:54):

@Ryan McCorvie Invite sent

Jireh Loreaux (Jul 13 2022 at 16:31):

Can someone give Jon Bannon push access for non-master branches: JonBannon

Johan Commelin (Jul 13 2022 at 16:48):

Already has access

Flo (Florent Schaffhauser) (Jul 13 2022 at 20:34):

Hi! I'm working on the H-spaces project. Could I get access non-master branch write permissions in mathlib, please?

Riccardo Brasca (Jul 13 2022 at 20:36):

What is your github account?

Flo (Florent Schaffhauser) (Jul 13 2022 at 20:38):

matematiflo

Riccardo Brasca (Jul 13 2022 at 20:39):

Invite sent!

Flo (Florent Schaffhauser) (Jul 13 2022 at 20:43):

And received! Thanks :-) Should I fork the repository now?

Riccardo Brasca (Jul 13 2022 at 20:45):

There is no need to fork. You can push directly to mathlib (not to master, just create your own branch)

Patrick Massot (Jul 13 2022 at 20:49):

All people interested in contributing to mathlib should really read https://leanprover-community.github.io/contribute/index.html

Flo (Florent Schaffhauser) (Jul 13 2022 at 20:54):

Patrick Massot said:

All people interested in contributing to mathlib should really read https://leanprover-community.github.io/contribute/index.html

Yes, so far I've done 1, 2 and 3 ;-)

Flo (Florent Schaffhauser) (Jul 13 2022 at 20:55):

I'm not creating a branch, jut looking for the one on H-spaces, which I have not been able to find yet. I will ask @Filippo A. E. Nuccio later.

Filippo A. E. Nuccio (Jul 13 2022 at 20:56):

@Flo (Florent Schaffhauser) I think this channe;l has not much to do about this, you can come to the H-space channel and we discuss this there.

Matej Penciak (Jul 14 2022 at 16:37):

Can I also get write permissions? My github account: mpenciak

Oliver Nash (Jul 14 2022 at 18:02):

@Matej Penciak I just sent you an invitation

Jim Fowler (Jul 16 2022 at 01:04):

Could I also get write permission? I'm kisonecat on GitHub

Heather Macbeth (Jul 16 2022 at 02:19):

@Jim Fowler Done!

Last updated: Dec 20 2023 at 11:08 UTC