2016-02-17 17:43:23 +01: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-02-16 12:41:13 +01:00
|
|
|
<p>
|
|
|
|
Vervis is hopefully going to be, eventually, a decentralized project hosting
|
2016-02-17 17:43:23 +01:00
|
|
|
platform. It's still in early development, but hopefully making progress
|
|
|
|
fast.
|
2016-02-16 12:41:13 +01:00
|
|
|
|
2016-02-17 22:53:53 +01:00
|
|
|
<p>
|
2016-02-23 04:19:55 +01:00
|
|
|
<a href=@{PersonNewR}>Sign up
|
2016-02-17 22:53:53 +01:00
|
|
|
|
2016-02-17 17:43:23 +01:00
|
|
|
<h2>Repos
|
2016-02-16 12:41:13 +01:00
|
|
|
|
|
|
|
<table>
|
2016-04-13 01:09:52 +02:00
|
|
|
<tr>
|
|
|
|
<th>Sharer
|
|
|
|
<th>Project
|
|
|
|
<th>Repo
|
2016-05-06 12:29:02 +02:00
|
|
|
<th>VCS
|
2016-04-13 01:09:52 +02:00
|
|
|
<th>Last change
|
2016-05-06 12:29:02 +02:00
|
|
|
$forall (sharer, mproj, repo, vcs, ago) <- rows
|
2016-02-16 12:41:13 +01:00
|
|
|
<tr>
|
2016-04-13 01:09:52 +02:00
|
|
|
<td>
|
2016-05-23 22:46:54 +02:00
|
|
|
<a href=@{PersonR sharer}>#{shr2text sharer}
|
2016-04-13 01:09:52 +02:00
|
|
|
<td>
|
|
|
|
$maybe proj <- mproj
|
2016-05-23 22:46:54 +02:00
|
|
|
<a href=@{ProjectR sharer proj}>#{prj2text proj}
|
2016-04-13 01:09:52 +02:00
|
|
|
$nothing
|
|
|
|
(none)
|
|
|
|
<td>
|
2016-05-23 22:46:54 +02:00
|
|
|
<a href=@{RepoR sharer repo}>#{rp2text repo}
|
2016-05-06 12:29:02 +02:00
|
|
|
<td>
|
|
|
|
$case vcs
|
|
|
|
$of VCSDarcs
|
|
|
|
Darcs
|
|
|
|
$of VCSGit
|
|
|
|
Git
|
2016-02-16 12:41:13 +01:00
|
|
|
<td>#{ago}
|
2016-02-17 17:43:23 +01:00
|
|
|
|
|
|
|
<h2>People
|
|
|
|
|
|
|
|
<p>
|
|
|
|
See
|
|
|
|
<a href=@{PeopleR}>people</a>.
|