Re: Allowing override of the default "origin" nickname

From: Mark Levedahl <mlevedahl@gmail.com>
Date: Jan 11, 2008, 16:15 UTC
Message-ID: <30e4a070801110815q1dee8f0cr7966fc2896e4c790@mail.gmail.com>
In-Reply-To: <m3odbsmlkr.fsf@roke.D-201>

On Jan 11, 2008 10:25 AM, Jakub Narebski <jnareb@gmail.com> wrote:

Show 7 quoted lines

>
> Mark, if this change is mainly about the fact that git doesn't allow
> to specify default remote to fetch for detached HEAD (and submodules
> use detached HEAD), why not provide "branch.HEAD.remote" etc., which
> would be used _only_ if we are on detached HEAD (i.e. branch has no
> name).
>

Practically speaking, this would just change the name of the config variable (from remotes.default to branch.HEAD.remote). However, this value is used *whenever* the current branch does not have corresponding branch.<name>.remote, and that is not restricted to detached heads, it applies anytime the current HEAD is not a tracking branch. So, I believe remotes.default better reflects this generality than does branch.HEAD.remote.

Mark