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? 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
pgpsRIcUn7NRv.pgp
Description: PGP signature
