$# This file is part of Vervis. $# $# Written in 2016 by fr33domlover <fr33domlover@riseup.net>. $# $# ♡ Copying is an act of love. Please copy, reuse and share. $# $# The author(s) have dedicated all copyright and related and neighboring $# rights to this software to the public domain worldwide. This software is $# distributed without any warranty. $# $# You should have received a copy of the CC0 Public Domain Dedication along $# with this software. If not, see $# <http://creativecommons.org/publicdomain/zero/1.0/>. <p> <a href=@{ProjectEditR shar proj}>Edit this project <ul> <li> Human-friendly name: #{fromMaybe "(none)" $ projectName project} <li> Description: #{fromMaybe "(none)" $ projectDesc project} <li> <a href=@{TicketsR shar proj}>Tickets <li> <a href=@{ClaimRequestsProjectR shar proj}>Ticket claim requests <h2>Collaborators <p> <a href=@{ProjectDevsR shar proj}>Collaborators <h2>Repos $if null repos <p>This project doesn’t contain repositories. $else <table> <tr> <th>Name <th>VCS <th>Description $forall Entity _ repository <- repos <tr> <td> <a href=@{RepoR shar $ repoIdent repository}> #{rp2text $ repoIdent repository} <td> $case repoVcs repository $of VCSDarcs Darcs $of VCSGit Git <td> $maybe desc <- repoDesc repository #{desc} <h2>Ticket workflow <p> ^{workflowLinkW wsharer workflow} <h2>Wiki <p> $maybe _wiki <- projectWiki project <a href=@{WikiPageR shar proj []}>Wiki $nothing This project doesn’t have a wiki.