Re: [RESEND PATCH v3 0/3] Add --gui to mergetool

2018-10-26 Thread Junio C Hamano
Thanks. I think this one is identical to what has already been queued and nerged to 'next'. k

[RESEND PATCH v3 0/3] Add --gui to mergetool

2018-10-26 Thread Denton Liu
This is a resend of patchset v3 where we add another patch on top of the existing patchset in order to document the guitool keys for `git config`. This way, the completions script will now be able to complete these key values as well. Denton Liu (3): mergetool: accept -g/--[no-]gui as arguments

[PATCH v3 0/3] Add --gui to mergetool

2018-10-24 Thread Denton Liu
This adds another patch on top of the existing patchset in order to document the guitool keys for `git config`. This way, the completions script will now be able to complete these key values as well. Denton Liu (3): mergetool: accept -g/--[no-]gui as arguments completion: support `git