From: Johannes Schindelin Date: Sat, 12 Jan 2008 16:50:19 GMT Subject: Re: [PATCH] Teach remote machinery about remotes.default config variable Message-ID: In-Reply-To: <478855B5.9070600@gmail.com> 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