Hi, On Wed, 23 Apr 2008, Junio C Hamano wrote: > Paolo Bonzini <bonzini@xxxxxxx> writes: > > > It seems useless to have an option in "git remote add" just because it > > might be necessary in a future refactoring of "git clone", but without > > a good use case beside that one. > > Ooo. But I think that's the other way around. I think it is very much the other way round. "git remote add" is meant for adding _additional_ remotes. "git clone" just _happens_ to install an "origin" remote. I even have a case where I used "--mirror" _twice_ in the same, _non_-bare repository. It has merit, you know? Ciao, Dscho -- 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
