Zulip Chat Archive

Stream: new members

Topic: Permission to push create branch on main mathlib repo


view this post on Zulip Oliver Nash (Jan 26 2020 at 17:15):

What criteria does someone need to meet in order to be able to create branches on the main mathlib repo, and thus obviate the need to work from a fork?

view this post on Zulip Oliver Nash (Jan 26 2020 at 17:17):

I occasionally encounter very mild friction associated with maintaining a fork so if it were possible, I'd be grateful to be granted such permission. I noticed this https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/typeclass.20problems/near/184074195 a while ago as well remarks about the possibility in item 3 https://github.com/leanprover-community/mathlib/blob/master/docs/contribute/index.md.

view this post on Zulip Oliver Nash (Jan 26 2020 at 17:18):

Needless to say, I absolutely understand if the maintainers feel it's best for me to continue to work from a fork and I will happily continue to do so, but it seemed like worth asking at least :-)

view this post on Zulip Rob Lewis (Jan 26 2020 at 17:23):

You have an invitation.

view this post on Zulip Oliver Nash (Jan 26 2020 at 17:24):

Oh wow, thank you very much!

view this post on Zulip Johan Commelin (Jan 26 2020 at 18:25):

It's great that you asked for it! We sometimes forget to give permission. For example, I was working under the assumption that you already had it. Basically, as soon as someone wants to make a 2nd PR, we usually are happy to grant permission for writing to non-master branches.


Last updated: May 11 2021 at 21:10 UTC