Re: Adding push configuration to .git/config

Andreas Ericsson [off-list ref] writes:

Steffen Prohaska wrote:

quoted

On Nov 22, 2007, at 2:48 AM, Junio C Hamano wrote:
...

quoted

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.