Re: [PATCH 3/4] remote.c: introduce remote.pushdefault

On Mon, Mar 18, 2013 at 9:16 AM, Ramkumar Ramachandra
[off-list ref] wrote:

 branch.<name>.remote::
-       When in branch <name>, it tells 'git fetch' and 'git push' which
-       remote to fetch from/push to.  It defaults to `origin` if no remote is
-       configured. `origin` is also used if you are not on any branch.
+       When on branch <name>, it tells 'git fetch' and 'git push'
+       which remote to fetch from/push to.  The remote to push to
+       may be overriden with `remote.pushdefault` (for all branches).

s/overriden/overridden/

+       If no remote is configured, or if you are not on any branch,
+       it defaults to `origin` for fetching and `remote.pushdefault`
+       for pushing.