2016-04-12 12:05:43 +02:00
|
|
|
$# This file is part of Vervis.
|
|
|
|
$#
|
2023-06-28 00:09:35 +02:00
|
|
|
$# Written in 2016, 2018, 2019, 2020, 2022, 2023
|
2022-06-23 11:07:37 +02:00
|
|
|
$# by fr33domlover <fr33domlover@riseup.net>.
|
2016-04-12 12:05:43 +02:00
|
|
|
$#
|
|
|
|
$# ♡ 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/>.
|
|
|
|
|
2022-09-16 15:47:10 +02:00
|
|
|
$# $maybe (s, j, w, sw) <- mproject
|
|
|
|
$# <p>
|
|
|
|
$# Belongs to project
|
|
|
|
$# <a href=@{ProjectR (sharerIdent s) (projectIdent j)}>
|
|
|
|
$# $maybe name <- projectName j
|
|
|
|
$# #{name}
|
|
|
|
$# $nothing
|
|
|
|
$# #{prj2text $ projectIdent j}
|
|
|
|
$#
|
|
|
|
$# ^{personNavW $ sharerIdent s}
|
|
|
|
$#
|
|
|
|
$# ^{projectNavW j w sw (sharerIdent s) (projectIdent j)}
|
2019-12-28 17:34:44 +01:00
|
|
|
|
2022-09-16 15:47:10 +02:00
|
|
|
<p>#{actorDesc actor}
|
2016-04-13 01:38:21 +02:00
|
|
|
|
2022-09-16 15:47:10 +02:00
|
|
|
$# ^{personNavW user}
|
2019-12-28 17:34:44 +01:00
|
|
|
|
2019-10-19 12:13:33 +02:00
|
|
|
<div>
|
2019-12-28 17:34:44 +01:00
|
|
|
<span>
|
|
|
|
[[ 🗃
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoR repo}>
|
|
|
|
^#{keyHashidText repo} #{actorName actor}
|
2019-12-28 17:34:44 +01:00
|
|
|
]] ::
|
2019-10-19 12:13:33 +02:00
|
|
|
<span>
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoInboxR repo}>
|
2019-10-19 12:13:33 +02:00
|
|
|
[📥 Inbox]
|
|
|
|
<span>
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoOutboxR repo}>
|
2019-10-19 12:13:33 +02:00
|
|
|
[📤 Outbox]
|
|
|
|
<span>
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoFollowersR repo}>
|
2019-10-19 12:13:33 +02:00
|
|
|
[🐤 Followers]
|
|
|
|
<span>
|
2023-06-28 00:09:35 +02:00
|
|
|
<a href=@{RepoCollabsR repo}>
|
2019-10-19 12:13:33 +02:00
|
|
|
[🤝 Collaborators]
|
|
|
|
<span>
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoCommitsR repo}>
|
2019-10-19 12:13:33 +02:00
|
|
|
[🛠 Commits]
|
2022-09-17 10:31:22 +02:00
|
|
|
$maybe loomID <- repoLoom repository
|
|
|
|
<span>
|
|
|
|
<a href=@{LoomClothsR $ hashLoom loomID}>
|
|
|
|
[🧩 Merge Requests]
|
2016-05-13 21:23:56 +02:00
|
|
|
|
2019-10-19 12:13:33 +02:00
|
|
|
^{followButton}
|
2016-06-06 08:55:46 +02:00
|
|
|
|
2022-09-17 10:31:22 +02:00
|
|
|
$if not $ null looms
|
|
|
|
<h2>Enable patch tracking
|
|
|
|
<ul>
|
|
|
|
$forall (loomID, actor) <- looms
|
2022-09-27 14:08:46 +02:00
|
|
|
<li>
|
|
|
|
Loom
|
|
|
|
<a href=@{LoomR $ hashLoom loomID}>
|
|
|
|
+#{keyHashidText $ hashLoom loomID} #{actorName actor}
|
|
|
|
wants to link with this repo
|
|
|
|
^{buttonW POST "Link" $ RepoLinkR repo $ hashLoom loomID}
|
2022-09-17 10:31:22 +02:00
|
|
|
|
2022-06-23 11:07:37 +02:00
|
|
|
<h2>Clone
|
|
|
|
|
2022-09-16 16:04:24 +02:00
|
|
|
<p>
|
|
|
|
HTTPS:
|
|
|
|
<code>git clone @{RepoR repo}
|
|
|
|
<p>
|
|
|
|
SSH:
|
|
|
|
<code>git clone USERNAME@#{renderAuthority host}:#{keyHashidText repo}
|
2022-06-23 11:07:37 +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>
|
2022-09-17 10:31:22 +02:00
|
|
|
$forall branch <- branches
|
|
|
|
<li>
|
|
|
|
<a href=@{RepoBranchSourceR 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>
|
2022-09-17 10:31:22 +02:00
|
|
|
$forall tag <- tags
|
|
|
|
<li>
|
|
|
|
<a href=@{RepoBranchSourceR repo tag []}>#{tag}
|
2016-04-12 12:05:43 +02:00
|
|
|
|
2016-05-04 19:17:47 +02:00
|
|
|
<div>
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoBranchSourceR repo ref []}>#{ref}
|
2016-05-04 19:17:47 +02:00
|
|
|
:: #
|
|
|
|
$forall (piece, piecePath) <- dirs
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoBranchSourceR 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}
|
2018-11-01 10:45:48 +01:00
|
|
|
$if null ents
|
|
|
|
<p>No files!
|
|
|
|
$else
|
|
|
|
<table>
|
|
|
|
$forall DirEntry type' name <- ents
|
|
|
|
<tr>
|
|
|
|
<td>
|
|
|
|
$case type'
|
|
|
|
$of TypeBlob
|
|
|
|
🗎
|
|
|
|
$of TypeTree
|
|
|
|
🗀
|
|
|
|
<td>
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@{RepoBranchSourceR repo ref (dir ++ [name])}>
|
2018-11-01 10:45:48 +01:00
|
|
|
#{name}
|
2016-04-13 18:17:34 +02:00
|
|
|
$maybe (readmeName, readmeWidget) <- mreadme
|
|
|
|
<h2>#{readmeName}
|
|
|
|
^{readmeWidget}
|
2019-10-19 12:13:33 +02:00
|
|
|
|
2019-10-23 09:43:40 +02:00
|
|
|
<div>
|
2022-09-16 15:47:10 +02:00
|
|
|
^{buttonW POST "Delete this repo" (RepoDeleteR repo)}
|
2019-10-23 09:43:40 +02:00
|
|
|
|
2019-10-19 12:13:33 +02:00
|
|
|
<div>
|
2022-09-16 15:47:10 +02:00
|
|
|
<a href=@?{(RepoR repo, [("prettyjson","true")])}>
|
2019-10-19 12:13:33 +02:00
|
|
|
[See repo JSON]
|