Re: [PATCH 0 of 7] [resend] - Improve handling remotes, origin, submodules

Hi,

On Mon, 4 Feb 2008, Mark Levedahl wrote:

On Feb 4, 2008 9:48 AM, Johannes Schindelin [off-list ref] wrote:

quoted

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.

Actually, I said more things.  Things about fixing git-submodule first, so 
that you can ask it to update via different remotes than "origin".  And 
then try to argue for the rest.

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.

"origin" is just the name of the default origin, holding the remote URL.  
Just like "HOME" is just the name of the variable holding the home 
directory.

But really.  Fix git-submodule first.

Ciao,
Dscho