Hi, On Sat, 12 Jan 2008, Mark Levedahl wrote: > The argument against my approach of explicitly naming the server rests > upon the premise that hiding a half-dozen servers, all different and > with those differences being important, under the single universal name > "origin", makes things easier. No, that was not _at all_ my argument. I said that hiding it under a different name _that you have to look up, too_ does _not_ make things easier. I might even add that it makes misconfigurations even worse. 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