From 3705c9c0ea3ba0d4204eb02920c6ce0b14e3b6db Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Sat, 7 Dec 2019 22:34:24 +0100
Subject: [PATCH] Use the proper server when triggering

---
 Handler/ShowChallenge.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Handler/ShowChallenge.hs b/Handler/ShowChallenge.hs
index a301da3..bfb3878 100644
--- a/Handler/ShowChallenge.hs
+++ b/Handler/ShowChallenge.hs
@@ -237,7 +237,11 @@ postTriggerLocallyR = do
   mBranch <- lookupPostParam "branch"
   mGitAnnexRemote <- lookupPostParam "git-annex-remote"
   [Entity userId _] <- runDB $ selectList [UserLocalId ==. Just localId] []
-  let localRepo = gitServer ++ localId ++ "/" ++ challengeName
+
+  app <- getYesod
+  let repoHost = appRepoHost $ appSettings app
+
+  let localRepo = repoHost ++ localId ++ "/" ++ challengeName
   trigger userId challengeName localRepo mBranch mGitAnnexRemote
 
 postTriggerRemotelyR :: Handler TypedContent