From 9581e2db0b8c32a9c5475f2990ab537b1a13abcf Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Sat, 22 Feb 2020 19:12:18 +0100
Subject: [PATCH] Use public repo URL

---
 templates/challenge-how-to.hamlet | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/templates/challenge-how-to.hamlet b/templates/challenge-how-to.hamlet
index 3726a4a..5a9b529 100644
--- a/templates/challenge-how-to.hamlet
+++ b/templates/challenge-how-to.hamlet
@@ -53,11 +53,11 @@ $case (appRepoScheme settings)
     <pre>
       git clone --single-branch #{appRepoHost settings}#{shownId}/#{challengeName challenge}
 
-      <p>(Warning about empty repository is expected, don't worry about it.)
+    <p>(Warning about empty repository is expected, don't worry about it.)
 
   <pre>
     cd #{challengeName challenge}
-    git pull #{appRepoHost settings}#{challengeName challenge}
+    git pull #{repoUrl repo}
 
   <h4>Using an external repository