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"