Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> writes: > So basically I agree that git request-pull has changed behavior, but > the new behavior is *more* in line with other git commands, and the > old behavior was actually really really odd with that whole extensive > "guess what the user means". No other git command ever did that > guessing thing (ok, famous last words, maybe somebody can come up with > one), and not mentioning a branch/tag/commit explicitly pretty much > always means "HEAD". OK. There may be some stuff that DWIMs "HEAD" to something other than the commit that is at the tip of HEAD, but I agree that the fewer we have such oddballs, the better. Thanks. -- 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