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?
--
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