Re: [PATCH 2/4] remote: simplify remote_is_configured()
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 15, 2016, 21:37 UTC
- Message-ID
- <xmqqwpq5psd3.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <20160215203846.GD13775@hank>
Thomas Gummerer <t.gummerer@gmail.com> writes:
> Agreed, will change. Thanks.
Thanks for working on this, and thanks reviewers for helping.