Re: [PATCH 6/6] push: honor branch.*.push
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 24, 2013, 18:19 UTC
- 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.