During my struggle, I also found a git push usability problem. The refspec ":dst" will delete the remote branch without warning. While this is indeed documented, you cannot blame somebody for thinking that a left out <src> will default to HEAD, as it does for so many other commands. In a CVS-like setup, with everybody pushing to master, this could cause havoc. As the "git push <repository> :<dst>" operation is destructive, I think it should be protected by the -f option. For the record, I did realize this before trying to push ":master" :-). Anders. -- 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
