logerrit: Simplify SSH config

Change-Id: Ic8196ebfeef64270fcd42b44e485a2618472f184
Reviewed-on: https://gerrit.libreoffice.org/11788
Reviewed-by: Samuel Mehrbrodt <s.mehrbrodt@gmail.com>
Tested-by: Samuel Mehrbrodt <s.mehrbrodt@gmail.com>

1 files changed, 1 insertions, 6 deletions

diff --git a/logerrit b/logerrit
index 5d04a20d5032..9e7f2b87fd1e 100755
--- a/logerrit
+++ b/logerrit
@@ -26,12 +26,7 @@ submit() {
 }
 
 logerrit() {
-        echo "Host logerrit"
-        echo "    IdentityFile ~/.ssh/id_rsa"
-        echo "    User $1"
-        echo "    Port 29418"
-        echo "    HostName gerrit.libreoffice.org"
-        echo "Host gerrit.libreoffice.org"
+        echo "Host logerrit gerrit.libreoffice.org"
         echo "    IdentityFile ~/.ssh/id_rsa"
         echo "    User $1"
         echo "    Port 29418"