From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 24 Jun 2013 18:19:17 GMT
Subject: Re: [PATCH 6/6] push: honor branch.*.push
Message-ID: <7vfvw79xsq.fsf@alter.siamese.dyndns.org>
In-Reply-To: <CALkWK0nv7On34g-zE5uHAH69TT-KcEt8z-LxhveNp1b4b+NHsg@mail.gmail.com>

Ramkumar Ramachandra <artagnon@gmail.com> 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.