Zulip Chat Archive

Stream: mathlib4

Topic: Push access to branches?

Ryan Lahfa (Jun 13 2021 at 14:25):

Is there a rationale regarding the development process? Is it like fork & PR upstream or can push access be granted?

Mario Carneiro (Jul 03 2021 at 21:23):

I think people have been doing fork & PR so far, but I don't have a strong opinion either way

Last updated: May 02 2025 at 03:31 UTC