filipg/gonito
1
0
Fork 1
Code Issues 1 Pull Requests Releases Wiki Activity

Improve how-to for submitting

Browse Source 
(Issue with remote branches.)
This commit is contained in:
Filip Gralinski 2021-10-09 14:44:37 +02:00
parent 3aa9a726a1
commit 54595a0bfa
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
templates/challenge-how-to.hamlet
View File

@ -52,6 +52,8 @@ $case (appRepoScheme settings)
$nothing $nothing
<pre> <pre>
git clone --single-branch #{appRepoHost settings}#{shownId}/#{challengeName challenge} git clone --single-branch #{appRepoHost settings}#{shownId}/#{challengeName challenge}
# --single-branch was used to speed up the process, but now we need to fix remote branches
git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
<p>(Warning about empty repository is expected, don't worry about it.) <p>(Warning about empty repository is expected, don't worry about it.)
@ -95,6 +97,8 @@ $case (appRepoScheme settings)
<pre> <pre>
git clone --single-branch #{repoUrl repo} git clone --single-branch #{repoUrl repo}
# --single-branch was used to speed up the process, but now we need to fix remote branches
git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
$maybe gitAnnexRemote <- (repoGitAnnexRemote repo) $maybe gitAnnexRemote <- (repoGitAnnexRemote repo)
<pre> <pre>