git push <branch-name>
- From
- Eric Raible <raible@gmail.com>
- Date
- Oct 5, 2010, 20:29 UTC
- 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?