git-gui: Add a dialog that shows the OpenSSH public key.

diff --git a/git-gui.sh b/git-gui.sh
index 4f951399ffd971cec213a64744620e49144be619..e4d1f70f1cddbb6b17a1cf39f217fcd00ce46513 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -2536,6 +2536,10 @@ proc start_browser {url} {
 
 .mbar.help add command -label [mc "Online Documentation"] \
        -command [list start_browser $doc_url]
+
+.mbar.help add command -label [mc "Show SSH Key"] \
+       -command do_ssh_key
+
 unset doc_path doc_url
 
 # -- Standard bindings