[petsc-dev] Push restrictions on branches

[Jed Brown]

Karl Rupp <rupp at mcs.anl.gov> writes:
> Thanks! That should avoid accidental pushes to branches if git is not 
> configured to use the 'simple' push.default.

Yeah, I was worried about sometimes asking people to force-push branches
when they also have the ability to force-push integration branches.

For this reason, I was recommending the syntax

  $ git push origin +your/branch-name

over

  $ git push --force          # assume branch upstream has already been set

since the latter depends on push.default.  I still recommend the
explicit version for this, but it's less dangerous now since people
rarely check out non-integration branches that are not their own.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 835 bytes
Desc: not available
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20131021/fddd80c5/attachment.sig>