Zulip Chat Archive

Stream: new members

Topic: permission to push branch

Justus Springer (Mar 21 2021 at 14:27):

Hello!
I am still a Lean novice, but maybe I can start contributing some useful lemmas here and there. May I have permission to push a branch to GitHub?
Github username: justus-springer

Bryan Gin-ge Chen (Mar 21 2021 at 15:20):

@Justus Springer Invite sent! https://github.com/leanprover-community/mathlib/invitations

Matúš Behun (Apr 05 2021 at 21:10):

Hello can anyone give me permission to push a branch? My profile is https://github.com/Seeram

Scott Morrison (Apr 05 2021 at 22:35):

@Matúš Behun, invitation sent.

Matúš Behun (Apr 05 2021 at 22:36):

thank you

Ben Toner (Apr 10 2021 at 06:42):

Hello, can I please have permission to make a pull request? https://github.com/bentoner

Johan Commelin (Apr 10 2021 at 07:22):

@Ben Toner voila: https://github.com/leanprover-community/mathlib/invitations

Anupam Nayak (Oct 19 2021 at 22:25):

Hi, I'm Anupam Nayak, an undergraduate student from ISI Bangalore. I want to make a PR to mathlib. Could someone please give me permission to push a branch? My profile is AaronGreen001

Scott Morrison (Oct 19 2021 at 22:30):

Sent!

Scott Morrison (Oct 19 2021 at 22:30):

What will your PR be about?

Anupam Nayak (Oct 19 2021 at 22:31):

uniqueness of finite fields : https://github.com/leanprover-community/mathlib/issues/9599

Anupam Nayak (Oct 19 2021 at 22:31):

thanks!

Last updated: Dec 20 2023 at 11:08 UTC