Subject: Re: [PATCH 2/4] remote: simplify remote_is_configured()

From: Junio C Hamano <[email-masked]>
Date: Mon, 15 Feb 2016 13:37:44 -0800

Thomas Gummerer <[email-masked]> writes:

> Agreed, will change.  Thanks.

Thanks for working on this, and thanks reviewers for helping.