make Git repo URL less misleading

This commit is contained in:
Filip Gralinski 2017-02-26 10:00:53 +01:00
parent 9d56f91b00
commit e5e0617a8d
1 changed files with 2 additions and 2 deletions

View File

@ -1,7 +1,7 @@
<p> Git repo URL: <tt>#{repoUrl repo}</tt> / Branch: <tt> #{repoBranch repo}</tt>
$maybe repoLink <- maybeRepoLink
<p> Repo: <tt><a href="#{repoLink}">#{repoUrl repo}</a></tt> Branch: <tt> #{repoBranch repo}</tt>
(Browse at <tt><a href="#{repoLink}">#{repoLink}</a></tt>)
$nothing
<p> Repo: <tt>#{repoUrl repo}</tt> Branch: <tt> #{repoBranch repo}</tt>
<h2>Leaderboard