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-13 01:38:21 +02:00
|
|
|
$maybe desc <- repoDesc repository
|
|
|
|
<p>#{desc}
|
|
|
|
|
2016-05-13 21:23:56 +02:00
|
|
|
<p>
|
|
|
|
<form method=POST action=@{RepoR user repo}>
|
|
|
|
<input type=hidden name=_method value=DELETE>
|
|
|
|
<input type=submit value="Delete this repo">
|
|
|
|
|
2016-04-13 01:38:21 +02:00
|
|
|
<p>
|
2016-05-05 18:30:30 +02:00
|
|
|
<a href=@{RepoHeadChangesR user repo}>Commits
|
2016-04-13 01:38:21 +02:00
|
|
|
|
2016-04-12 12:05:43 +02:00
|
|
|
<h2>Branches
|
2016-05-04 19:17:47 +02:00
|
|
|
|
2016-04-12 12:05:43 +02:00
|
|
|
<ul>
|
2016-05-05 09:29:19 +02:00
|
|
|
$forall branch <- branches
|
2016-04-12 12:05:43 +02:00
|
|
|
<li>
|
2016-05-05 09:29:19 +02:00
|
|
|
<a href=@{RepoSourceR user repo [branch]}>#{branch}
|
2016-04-12 12:05:43 +02:00
|
|
|
|
|
|
|
<h2>Tags
|
2016-05-04 19:17:47 +02:00
|
|
|
|
2016-04-12 12:05:43 +02:00
|
|
|
<ul>
|
2016-05-05 09:29:19 +02:00
|
|
|
$forall tag <- tags
|
2016-04-12 12:05:43 +02:00
|
|
|
<li>
|
2016-05-05 09:29:19 +02:00
|
|
|
<a href=@{RepoSourceR user repo [tag]}>#{tag}
|
2016-04-12 12:05:43 +02:00
|
|
|
|
2016-05-04 19:17:47 +02:00
|
|
|
<div>
|
2016-05-05 09:29:19 +02:00
|
|
|
<a href=@{RepoSourceR user repo [ref]}>#{ref}
|
2016-05-04 19:17:47 +02:00
|
|
|
:: #
|
|
|
|
$forall (piece, piecePath) <- dirs
|
2016-05-05 09:29:19 +02:00
|
|
|
<a href=@{RepoSourceR user repo (ref : piecePath)}>#{piece}
|
2016-05-04 19:17:47 +02:00
|
|
|
/ #
|
|
|
|
|
|
|
|
$case sv
|
2016-05-05 09:29:19 +02:00
|
|
|
$of SourceFile (FileView name body)
|
2016-05-04 19:17:47 +02:00
|
|
|
<h2>#{name}
|
|
|
|
^{body}
|
2016-05-05 09:29:19 +02:00
|
|
|
$of SourceDir (DirectoryView mname ents mreadme)
|
2016-05-04 19:17:47 +02:00
|
|
|
<h2>#{fromMaybe "Files" mname}
|
2016-04-12 12:05:43 +02:00
|
|
|
<table>
|
|
|
|
<tr>
|
|
|
|
<th>Type
|
|
|
|
<th>Name
|
2016-05-05 09:29:19 +02:00
|
|
|
$forall DirEntry type' name <- ents
|
2016-04-12 12:05:43 +02:00
|
|
|
<tr>
|
2016-05-04 19:17:47 +02:00
|
|
|
<td>
|
|
|
|
$case type'
|
2016-05-05 09:29:19 +02:00
|
|
|
$of TypeBlob
|
2016-05-04 19:17:47 +02:00
|
|
|
[F]
|
2016-05-05 09:29:19 +02:00
|
|
|
$of TypeTree
|
2016-05-04 19:17:47 +02:00
|
|
|
[D]
|
2016-04-12 12:11:19 +02:00
|
|
|
<td>
|
2016-05-05 09:29:19 +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}
|