git-gui branches, was Re: What's cooking in git.git (Apr 2018, #01; Mon, 9)

> * bb/git-gui-ssh-key-files (2018-03-02) 2 commits
>  - Merge branch 'bb/ssh-key-files' of git-gui into bb/git-gui-ssh-key-files
>  - git-gui: search for all current SSH key types
> 
>  "git gui" learned that "~/.ssh/id_ecdsa.pub" and
>  "~/.ssh/id_ed25519.pub" are also possible SSH key files.
> 
> 
> * bp/git-gui-bind-kp-enter (2018-03-02) 2 commits
>  - Merge branch 'bp/bind-kp-enter' of git-gui into bp/git-gui-bind-kp-enter
>  - git-gui: bind CTRL/CMD+numpad ENTER to do_commit
> 
>  "git gui" performs commit upon CTRL/CMD+ENTER but the
>  CTRL/CMD+KP_ENTER (i.e. enter key on the numpad) did not have the
>  same key binding.  It now does.
> 
> 
> * cb/git-gui-ttk-style (2018-03-05) 2 commits
>  - Merge branch 'cb/ttk-style' of git-gui into cb/git-gui-ttk-style
>  - git-gui: workaround ttk:style theme use
> 
>  "git gui" has been taught to work with old versions of tk (like
>  8.5.7) that do not support "ttk::style theme use" as a way to query
>  the current theme.