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
properly.