On Sun, Dec 17, 2017 at 8:49 AM, Peter Urbanec <git.u...@urbanec.net> wrote: > Just wondering if I submitted this patch correctly and to the right place.
You sent it to the right place. Unfortunately, Pat hasn't been around much lately, so the git-gui project is apparently slumbering. Junio has accepted a few patches for git-gui recently[1,2,3]; whether he's interested in doing the same for your patch is unknown. [1]: https://github.com/patthoyts/git-gui/pull/17 [2]: https://github.com/patthoyts/git-gui/pull/16 [3]: https://github.com/patthoyts/git-gui/pull/15
