$# 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>This is the project page for <b>#{proj}</b>, shared by <b>#{user}</b>.

<ul>
  <li>
    Human-friendly name: #{fromMaybe "(none)" $ projectName project}
  <li>
    Description: #{fromMaybe "(none)" $ projectDesc project}
  <li>
    TODO list the project's repos here, or link to a separate page that does
  <li>
    <a href=@{TicketsR user proj}>Tickets