[petsc-dev] Push restrictions on branches

[Karl Rupp]

Hi Jed,

 >> 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.

Thanks! That should avoid accidental pushes to branches if git is not 
configured to use the 'simple' push.default.

Best regards,
Karli