Santi Béjar <sbejar@xxxxxxxxx> 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. -- Jakub Narebski Poland ShadeHawk on #git -- 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
