Git repo URL: #{repoUrl repo} / Branch: #{repoBranch repo} $maybe repoLink <- maybeRepoLink Browse at #{repoLink} $nothing $if (challengeArchived challenge == Just True)
_{MsgChallengeIsArchived} $if (checkIfAdmin mUserEnt) $if (challengeArchived challenge /= Just True)