On Tuesday, September 13, 2022 at 10:31:09 PM UTC-7 Nils Bruin wrote: > On Tuesday, 13 September 2022 at 19:43:32 UTC-7 Matthias Koeppe wrote: > >> One way to do this is using >> https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/allowing-changes-to-a-pull-request-branch-created-from-a-fork >> This is a checkmark that the author of a PR can set or unset. >> > > I don't think that gives us quite the same generality. From what I > understand from the description there is that people *with push privilege* > on the actual upstream can be given permission to commit to a branch in the > fork. I think we want to keep the people with push privilege limited, but > collaboration on tickets should be widely available and easy. >
It's easy to setup different degrees of privileges using Teams. Currently there's only one Team, called Core. We would be adding another, much larger, Team of regular developers, to which we then can assign the necessary permissions (but they still wouldn't be able to push to "develop", for example). I've written this in https://github.com/sagemath/sage/wiki/migration-from-trac-to-Git**b#proposed-permissions-and-protections -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/2ea47475-a2e8-4da9-8229-d79cb0a546b1n%40googlegroups.com.
