Zulip Chat Archive

Stream: new members

Topic: permission to push branch


view this post on Zulip 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

view this post on Zulip Bryan Gin-ge Chen (Mar 21 2021 at 15:20):

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

view this post on Zulip 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

view this post on Zulip Scott Morrison (Apr 05 2021 at 22:35):

@Matúš Behun, invitation sent.

view this post on Zulip Matúš Behun (Apr 05 2021 at 22:36):

thank you

view this post on Zulip Ben Toner (Apr 10 2021 at 06:42):

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

view this post on Zulip Johan Commelin (Apr 10 2021 at 07:22):

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


Last updated: May 11 2021 at 22:14 UTC