Re: [ANNOUNCE] Git v2.3.0-rc0

Junio C Hamano [off-list ref] writes:

 * "git push" into a repository with a working tree normally refuses
   to modify the branch that is checked out.  The command learned to
   optionally do an equivalent of "git reset --hard" only when there
   is no change to the working tree and the index instead, which would
   be useful to "deploy" by pushing into a repository.

Perhaps this can mention "receive.denyCurrentBranch=updateInstead" so
interested users won't have to grep the tree for 10min to find it. :)

Thanks,
-- 
Christian Neukirchen  [off-list ref]  http://chneukirchen.org