From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 22 Nov 2007 08:28:49 GMT
Subject: Re: Adding push configuration to .git/config
Message-ID: <7v8x4q8z0e.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <47453551.3060502@op5.se>

Andreas Ericsson <ae@op5.se> writes:

> Steffen Prohaska wrote:
>>
>> On Nov 22, 2007, at 2:48 AM, Junio C Hamano wrote:
>> ...
>>> If we were to do this, it might also make sense to rename the
>>> word 'origin' we use for the default remote name to 'default' or
>>> something.  People with shared repository workflow would fetch
>>> from one repository and push back to the same repository, so the
>>> distinction would not matter, but for others who need something
>>> like you suggest, the default repository for fetching and
>>> pushing are different, and while you may still consider where
>>> you fetch from your 'origin', where you push into is not your
>>> 'origin' anymore.
>>
>> I like this idea.
>
> I don't. It's troublesome enough to try to teach the finer points
> of git to my co-workers without different defaults between versions.

I don't like the s/origin/default/ part either, which was the
reason I said "it might".  That would be what I would have done
if I were doing git from scratch right now.