Re: [PATCH v3] push: Enhance unspecified push default warning
- From
Jonathan Nieder <jrnieder@gmail.com>
- Date
- Nov 11, 2013, 17:03 UTC
- 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