2016-04-12 12:05:43 +02:00
|
|
|
$# 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/>.
|
|
|
|
|
2016-04-12 19:37:31 +02:00
|
|
|
<h1>Vervis > People > #{user} > Repos > #{repo}
|
2016-04-12 12:05:43 +02:00
|
|
|
|
2016-04-13 01:38:21 +02:00
|
|
|
$maybe desc <- repoDesc repository
|
|
|
|
<p>#{desc}
|
|
|
|
|
|
|
|
<p>
|
|
|
|
<a href=@{RepoCommitsR user repo}>Commits
|
|
|
|
|
2016-04-12 12:05:43 +02:00
|
|
|
<h2>Branches
|
|
|
|
<ul>
|
|
|
|
$forall RefName branch <- branches
|
|
|
|
<li>
|
2016-04-12 19:37:31 +02:00
|
|
|
<a href=@{RepoSourceR user repo (pack branch) []}>#{branch}
|
2016-04-12 12:05:43 +02:00
|
|
|
|
|
|
|
<h2>Tags
|
|
|
|
<ul>
|
|
|
|
$forall RefName tag <- tags
|
|
|
|
<li>
|
2016-04-12 19:37:31 +02:00
|
|
|
<a href=@{RepoSourceR user repo (pack tag) []}>#{tag}
|
2016-04-12 12:05:43 +02:00
|
|
|
|
2016-04-13 01:10:46 +02:00
|
|
|
<a href=@{RepoSourceR user repo ref []}>#{ref}
|
|
|
|
<span>::
|
|
|
|
$forall (piece, piecePath) <- dirs
|
|
|
|
<a href=@{RepoSourceR user repo ref piecePath}>#{piece}
|
|
|
|
<span>/
|
|
|
|
<h2>#{title}
|
2016-04-12 12:05:43 +02:00
|
|
|
$case display
|
2016-04-13 08:55:39 +02:00
|
|
|
$of Left source
|
|
|
|
^{source}
|
2016-04-13 18:17:34 +02:00
|
|
|
$of Right (rows, mreadme)
|
2016-04-12 12:05:43 +02:00
|
|
|
<table>
|
|
|
|
<tr>
|
|
|
|
<th>Type
|
|
|
|
<th>Name
|
|
|
|
$forall (type', name) <- rows
|
|
|
|
<tr>
|
|
|
|
<td>#{type'}
|
2016-04-12 12:11:19 +02:00
|
|
|
<td>
|
2016-04-12 19:37:31 +02:00
|
|
|
<a href=@{RepoSourceR user repo ref (dir ++ [name])}>
|
2016-04-12 12:11:19 +02:00
|
|
|
#{name}
|
2016-04-13 18:17:34 +02:00
|
|
|
$maybe (readmeName, readmeWidget) <- mreadme
|
|
|
|
<h2>#{readmeName}
|
|
|
|
^{readmeWidget}
|