Junio C Hamano <gitster@xxxxxxxxx> 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 <chneukirchen@xxxxxxxxx> http://chneukirchen.org -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html