From: Eric Sunshine <sunshine@sunshineco.com>
Date: Mon, 18 Mar 2013 22:19:45 GMT
Subject: Re: [PATCH 3/4] remote.c: introduce remote.pushdefault
Message-ID: <CAPig+cQ8wiYffxyucRRi5jOhFjv-O6x8OBx6wz6Q_zJzQyN=_A@mail.gmail.com>
In-Reply-To: <1363612575-7340-4-git-send-email-artagnon@gmail.com>

On Mon, Mar 18, 2013 at 9:16 AM, Ramkumar Ramachandra
<artagnon@gmail.com> 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.