Jeff King wrote:
> It's not that it's not potentially useful. It's that it may be
> surprising and annoying to users who did not want that.

... but this is a new syntax, and doesn't break any existing
expectations.  Why are you imagining what users will expect with a git
push -- master next; that hasn't been invented yet?  From "matching"?
 But we've made it very clear that it's going to change soon.  Users
can still use the git push origin master next; form as usual.  In my
opinion, this new syntax is incredibly useful if users set pushremote
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to