From 5bd6e34c6bedfaf9f6e0618ff4e3dbe8d03e09ca Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Sat, 7 Dec 2019 23:17:12 +0100
Subject: [PATCH] Fix making public

---
 Handler/MakePublic.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Handler/MakePublic.hs b/Handler/MakePublic.hs
index e13e8fd..d544667 100644
--- a/Handler/MakePublic.hs
+++ b/Handler/MakePublic.hs
@@ -45,7 +45,7 @@ pushRepo :: String -> SHA1 -> String -> String -> Channel -> Handler ()
 pushRepo repoDir commit targetRepoUrl targetBranchName chan = do
   (_, _) <- runProgram (Just repoDir) gitPath [
     "push",
-    targetRepoUrl,
+    (T.unpack $ fixGitRepoUrl $ T.pack targetRepoUrl),
     (T.unpack $ fromSHA1ToText commit) ++ ":refs/heads/" ++ targetBranchName] chan
   return ()