Zulip Chat Archive
Stream: mathlib4
Topic: Push access
Kevin Buzzard (Nov 17 2022 at 19:15):
Can github user 77Tigers have push access to non-master branches of mathlib4? Him and I are working on porting logic.equiv.basic at Xena.
Kevin Buzzard (Nov 17 2022 at 19:25):
Did the thumbs up mean "he should have access" because apparently he doesn't...
Jireh Loreaux (Nov 17 2022 at 19:26):
Remember that you need to accept an invite (if one was sent), access isn't just automatically granted.
Riccardo Brasca (Nov 17 2022 at 19:27):
I confirm the invite is sent
Kevin Buzzard (Nov 17 2022 at 19:38):
Sorry! Working fine now.
Xavier Roblot (Dec 28 2022 at 18:18):
@maintainers I would like to help to port some files to mathlib4. Could I get push access? My github is xroblot
Riccardo Brasca (Dec 28 2022 at 18:21):
Invite sent!
Casavaca (Jan 05 2023 at 17:37):
I was just told that pull request should be done as branches in Mathlib4. Could I get push access? My github is casavaca
Johan Commelin (Jan 05 2023 at 17:38):
@Casavaca voila: https://github.com/leanprover-community/mathlib4/invitations
Christopher Hoskin (Jan 05 2023 at 19:02):
Hello @maintainers . I believe I have a fix to get https://github.com/leanprover-community/mathlib4/pull/934 building. Please could I have push access? My GitHub username is mans0954. Thanks.
Floris van Doorn (Jan 05 2023 at 19:04):
I sent you an invite!
Floris van Doorn (Jan 05 2023 at 19:04):
However, mathlib4#1314 should also fix most/all isues with mathlib4#934.
Christopher Hoskin (Jan 05 2023 at 19:07):
@Floris van Doorn Thanks.
Eric Rodriguez (Jan 19 2023 at 22:27):
can @Violeta Hernández get push access to mathlib4?
Eric Rodriguez (Jan 19 2023 at 22:27):
(vihdzp)
Johan Commelin (Jan 20 2023 at 04:37):
@Violeta Hernández Voila: https://github.com/leanprover-community/mathlib4/invitations
Paul Lezeau (Jan 27 2023 at 17:26):
Could I by any chance get push access for mathlib4 ? My username is Paul-Lez
Floris van Doorn (Jan 27 2023 at 17:29):
invite sent!
Paul Lezeau (Jan 27 2023 at 17:34):
Got it, thanks !
Jireh Loreaux (Feb 03 2023 at 18:34):
@maintainers can someone give @Erin Wittlich push access? Her GitHub username is ewittlich
Johan Commelin (Feb 03 2023 at 18:36):
@Erin Wittlich Voila: https://github.com/leanprover-community/mathlib4/invitations
Erin Wittlich (Feb 03 2023 at 18:36):
Thank you
Ruben Van de Velde (Dec 12 2023 at 15:27):
@maintainers can we have push access for @Alex Meiburg Timeroot to contibute a proof of Descartes' Rule of Signs, please
Riccardo Brasca (Dec 12 2023 at 15:32):
Invitation sent!
Alex Meiburg (Dec 12 2023 at 15:34):
Got it, thanks! :)
Last updated: Dec 20 2023 at 11:08 UTC