From: Santi Béjar Date: Wed, 05 Mar 2008 22:35:48 GMT Subject: Re: [PATCH] user.default: New config to prevent using the default values for user.* Message-ID: <8aa486160803051435q1b28ea65o40c5d6ece8a482c6@mail.gmail.com> In-Reply-To: On Wed, Mar 5, 2008 at 10:01 PM, Jakub Narebski wrote: > Santi Béjar writes: > > > Useful when you want a different email/name for each repository > > > > +user.default:: > > + If false the defaults values for user.email and user.name are not > > + used. Useful when you want a different email/name for each > > + repository, normally set in the global config file. > > + > > Wouldn't it be better to use user.noDefault, or user.explicit, > or user.dontGuess... user.default seems like place to provide > some default value, not place to decide if there should be some > fallback default values or not. Make sense. I prefer user.explicit. Santi