From: Eric Raible <raible@gmail.com>
Date: Tue, 05 Oct 2010 20:29:50 GMT
Subject: git push <branch-name>
Message-ID: <AANLkTineD3DYsBJBBt13-EWX0_1YUf1cf1wTGUL-jRkg@mail.gmail.com>

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?