Ramkumar Ramachandra <artagnon@xxxxxxxxx> writes: > I'm not saying that we need to differentiate between configuration > variables and CLI options; what I _am_ saying is that we need to think > twice about moving a CLI option to a configuration variable, precisely > because we do not differentiate between the two cases. With remote.pushdefault, I think the ship has long sailed. -- 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