logerrit: Simplify SSH config

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

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"