Merge branch 'bb/git-gui-ssh-key-files'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:28:48 +0000 (13:28 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:28:48 +0000 (13:28 +0900)
"git gui" learned that "~/.ssh/id_ecdsa.pub" and
"~/.ssh/id_ed25519.pub" are also possible SSH key files.

* bb/git-gui-ssh-key-files:
  git-gui: search for all current SSH key types


Trivial merge