Add a few more values for receive.denyCurrentBranch
Some people insist on work flows where they push into their checked-out
branches.
Now, everybody should agree that these people better know what they
are doing, and that most users are Better Of Avoiding That.
However, it seems that the existing users of the feature-not-a-bug that
you can push into non-bare repositories are preparing to give the Git
developers as much grief as for the dashed -> undashed migration, and
therefore it may be wise to give them a gift in return.
The gift consists of two new options you can give the config variable
receive.denyCurrentBranch:
'updateInstead':
Try to merge the working tree with the new tip of the branch
(which can lead to really horrible merge conflicts).
'detachInstead':
Detach the HEAD, thereby avoiding a disagreement between the
HEAD and the index (as well as the working tree), possibly
leaving the local user wondering how on earth her HEAD became
so detached.
And now everybody:
Gimme rope, Johannes,
Gimme rope, Johannes,
Gimme rope, Johannes,
'fore the moaning come,
Gimme rope, Johannes,
Rope, Johannes,
Rope before the moaning come.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>