On Tue, Feb 19, 2008 at 04:54:14PM +0000, Johannes Schindelin wrote: > > Just say "git push origin HEAD"? > > The point is: if that becomes the default (with a certain config option), > people will get used to typing "git push". They will not even _know_ > about the explicit form. I guess I hoped that people giving answers on the IRC channel would be a little less clueless. Perhaps that is just optimism. > See followup. I'm actually starting to like your patch now...;) > BTW if that is really the way to go, we will have to have a _long_ period > (I am talking about 6-12 _months_ if not more) where there _must not_ be a > default action for git-push. Otherwise people _will_ get more confused > than necessary. I agree that it would need a long deprecation period to change behavior. It would almost be easier to have a "git <foo>" command where <foo> is some sort of restricted, safe-for-certain-workflows version of push. -Peff - 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