From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 15 Feb 2016 21:37:44 GMT
Subject: Re: [PATCH 2/4] remote: simplify remote_is_configured()
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.