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