use mangled hostname for gitlab repo when using a dedicated git-annex ssh key

1 files 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)
 		]