From: Jonathan Nieder <jrnieder@gmail.com>
Date: Mon, 11 Nov 2013 17:03:43 GMT
Subject: Re: [PATCH v3] push: Enhance unspecified push default warning
Message-ID: <20131111170343.GK10302@google.com>
In-Reply-To: <xmqqob5qna7b.fsf@gitster.dls.corp.google.com>

Junio C Hamano wrote:

> Is everybody happy with this version?

Looks good to me.

Thanks,
Jonathan