2019-11-29 22:10:48 +01:00
|
|
|
<div class="media-heading">
|
|
|
|
<div .subm-commit>#{commitSha1AsText}
|
|
|
|
|
|
|
|
<div .subm-description>^{fragmentWithTags (submissionDescription $ fsiSubmission submission) (map fst $ fsiTags submission)}
|
|
|
|
<p> </p>
|
|
|
|
<dl class="dl-horizontal">
|
|
|
|
<dt>challenge
|
|
|
|
<dd><a href="@{ShowChallengeR $ challengeName $ fsiChallenge submission}">#{challengeTitle $ fsiChallenge submission}</a>
|
|
|
|
<dt>submitter
|
|
|
|
<dd>#{submitter}
|
|
|
|
<dt>submitted
|
|
|
|
<dd>#{stamp}
|
|
|
|
<dt>original repo
|
2020-05-31 21:26:29 +02:00
|
|
|
<dd>
|
|
|
|
$maybe (url, branchPart) <- getHttpLink (fsiRepo submission)
|
|
|
|
<code><a href="#{url}">#{repoUrl $ fsiRepo submission}</code></a> / branch <a href="#{url <> branchPart}"><code>#{repoBranch $ fsiRepo submission}</code></a>
|
|
|
|
$nothing
|
|
|
|
<code>#{repoUrl $ fsiRepo submission}</code> / branch <code>#{repoBranch $ fsiRepo submission}</code>
|
2019-11-29 22:10:48 +01:00
|
|
|
$if submissionIsPublic $ fsiSubmission submission
|
|
|
|
<dt>publicly available at
|
|
|
|
<dd><code>#{publicSubmissionRepo}</code> / branch <code>#{publicSubmissionBranch}</code>
|
|
|
|
<dt>browsable at
|
|
|
|
<dd><a href="#{browsableUrl}">#{browsableUrl}</a>
|
|
|
|
<dt>clone by
|
|
|
|
<dd><code>git clone --single-branch #{publicSubmissionRepo} -b #{publicSubmissionBranch}</code>
|
|
|
|
$if not (null (fsiExternalLinks submission))
|
|
|
|
<dt>see also
|
|
|
|
<dd>
|
|
|
|
$forall (Entity _ externalLink) <- fsiExternalLinks submission
|
|
|
|
<a href="#{externalLinkUrl externalLink}">
|
|
|
|
#{fromMaybe (externalLinkUrl externalLink) (externalLinkTitle externalLink)}
|
|
|
|
<br>
|
2019-12-14 15:27:59 +01:00
|
|
|
$maybe variant <- mVariantName
|
|
|
|
<dt>file basename
|
|
|
|
<dd><tt>#{variant}</tt>
|
|
|
|
$nothing
|