Re: [PATCH 0 of 7] [resend] - Improve handling remotes, origin, submodules
- From
Mark Levedahl <mlevedahl@gmail.com>
- Date
- Feb 4, 2008, 17:24 UTC
- Message-ID
- <30e4a070802040924g550671ccsb11108c71c99e378@mail.gmail.com>
- In-Reply-To
- <alpine.LSU.1.00.0802041443420.7372@racer.site>
On Feb 4, 2008 9:48 AM, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
Show 11 quoted lines
> Hi, > > > Should something like core.origin still be an issue (which I doubt, for > the same reason you do not change the _name_ of the environment variable > $HOME), we can still continue discussing that. > > Hth, > Dscho > >
BIG difference here: $HOME = <name> of home directory, <name> is arbitrary. Files there are found as $HOME/<foo> or <name>/foo, they are the same, and I am free to set HOME=<arbitrary name>.
Currently $ORIGIN=origin, i.e., the default is *named* origin, not the default name is given by $ORIGIN.
Why does this matter? git stores the remote's branches under refs/remotes/<name>/*. If name=$ORIGIN, I am happy, but the problem is $ORIGIN=origin, and you argue (strongly) that it MUST be origin. Thus, branches from server "frotz" *might* be in refs/remotes/frotz/*, or they *might* be in refs/remotes/origin/*, and that is the root of the problem.
By the same argument, you have hardcoded in your shell that $HOME=/home, right?
Mark