Andreas Ericsson <ae@xxxxxx> 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. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
