Jed Brown <jedbr...@mcs.anl.gov> writes: > Bitbucket added support to restrict push access based on branch names > (glob matching). For example, that would allow us to have a smaller > group of people with access to merge to 'maint' or 'master'. > > Is this a feature we should start using in petsc.git?
I set this restriction on maint*, master, and next. The "integrators" group currently contains Barry, Hong, Karl, Matt, Peter, Satish, and myself. Everyone else with write access is still able to push to any other branches. We can amend or cancel this at any time. > One tangible difference from the current model is that it would let give > more people push access to named branches which then allows an > integrator to patch up a branch for an open pull request. (When a PR > comes from a fork instead of an in-repo branch, we can't push to their > repository so we can't update the PR. This sometimes leads to tedious > fine-tuning of trivial details in the PR comments.) > > > Admins can see the branch list here: > > https://bitbucket.org/petsc/petsc/admin/branches
pgpCozdC07F1S.pgp
Description: PGP signature