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: Dec 20 2023 at 11:08 UTC