Re: [PATCH] user.default: New config to prevent using the default values for user.*
- From
Jakub Narebski <jnareb@gmail.com>
- Date
- Mar 5, 2008, 21:01 UTC
- Message-ID
- <m3mypchol6.fsf@localhost.localdomain>
- In-Reply-To
- <1204744684-2043-1-git-send-email-sbejar@gmail.com>
Santi Béjar <sbejar@gmail.com> writes:
> Useful when you want a different email/name for each repository
Show 5 quoted lines
> +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.
-- Jakub Narebski Poland ShadeHawk on #git