From 3b102f7870753b1d47dcc45ceca65a25e086e01d Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Mon, 27 Jul 2015 11:03:58 -0400
Subject: use mangled hostname for gitlab repo when using a dedicated git-annex
 ssh key

---
 Assistant/Ssh.hs | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Assistant/Ssh.hs b/Assistant/Ssh.hs
index cd29d5036..80fb5c19a 100644
--- a/Assistant/Ssh.hs
+++ b/Assistant/Ssh.hs
@@ -325,11 +325,16 @@ setSshConfig sshdata config = do
 				(settings ++ config)
 		setSshConfigMode configfile
 
-	return $ sshdata { sshHostName = T.pack mangledhost }
+	return $ sshdata
+		{ sshHostName = T.pack mangledhost
+		, sshRepoUrl = replace orighost mangledhost
+			<$> sshRepoUrl sshdata
+		}
   where
+	orighost = T.unpack $ sshHostName sshdata
 	mangledhost = mangleSshHostName sshdata
 	settings =
-		[ ("Hostname", T.unpack $ sshHostName sshdata)
+		[ ("Hostname", orighost)
 		, ("Port", show $ sshPort sshdata)
 		]
 
-- 
cgit v1.2.3