A newbie colleague asked why: "git push <branch>" didn't work.
Although I know that "git push <repo> <branch>" is the correct syntax, I think that he has a point. If branch.<branch>.remote is defined it seems unambiguous to me.
So I can't see any reason NOT to dwimify
git push <branch>
into
git push $(git config branch.<branch>.remote) <branch>
What am I missing?