$# 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/>.

<h1>Vervis > People > #{user} > Projects > #{proj} > Repos > #{repo}

<h2>About
<p>
  This is the repo page for <b>#{repo}</b>, which is part of project
  <b>#{proj}</b>, shared by user <b>#{user}</b>.

<h2>Details
<table>
  <tr>
    <td>Description
    <td>
      $maybe desc <- repoDesc repository
        #{desc}
      $nothing
        (none)

<h2>History
<table>
  <tr>
    <th>Author
    <th>Hash
    <th>Message
    <th>Time
  $forall (author, hash, message, time) <- rows
    <tr>
      <td>#{author}
      <td>#{hash}
      <td>#{message}
      <td>#{time}