From: Johannes Schindelin Date: Mon, 18 May 2015 19:06:33 GMT Subject: Re: [PATCH 07/14] pull: check if in unresolved merge state Message-ID: In-Reply-To: <1431961571-20370-8-git-send-email-pyokagan@gmail.com> Hi Paul, On 2015-05-18 17:06, Paul Tan wrote: > Since, commit d38a30d (Be more user-friendly when refusing to do Let's remove this comma ;-) The rest of the patch looks fine to my eyes. Ciao, Dscho