On Tue, Apr 22, 2014 at 02:56:22AM -0500, Felipe Contreras wrote:
> An explicitly set mergetool.prompt = true would override the default. See the
I have had a chance to test the patch now and it looks good. I think
when glancing at it before I missed the change that dropped "|| echo
prompt=$(git config --bool mergetool.prompt || echo true)
so I wasn't sure where the implicit true / explicit true difference was
> I looked, the documentation doesn't mention any default. We could add it, but
> don't think it's necesarily part of this patch.
The bit of documentation that I was thinking of is in
Documentation/git-mergetool.txt where it states that "--prompt" is the
default which is now only partially true.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html