Hi, On Wed, 20 Feb 2008, Junio C Hamano wrote: > An earlier commit 47d996a (push: support pushing HEAD to real branch > name) added support for "git push $there HEAD" by introducing a rewrite > rule for the refspecs obtained from the command line. However, unlike > the usual refspecs, it did not allow prefixing with '+' to mean forcing > the branch. Heh. I realised that yesterday, and put it in my TODO list. Thanks for doing it for me! ;-) The patch looks obviously correct to me. Ciao, Dscho - 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
