Federated forge server
Clone
HTTPS:
git clone https://vervis.peers.community/repos/rjQ3E
SSH:
git clone USERNAME@vervis.peers.community:rjQ3E
Branches
Tags
permits.hamlet
$# This file is part of Vervis.
$#
$# Written in 2016, 2018, 2019, 2020, 2022, 2023, 2024, 2025
$# 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/>.
<h3> Teams
<p>
These are the teams in which the user is a direct member. Under each team are
other teams the user has access to, via delegation (i.e. parent/ancestor
teams).
<ul>
$forall (role, team, mdeleg) <- teams
<li>
<span>
[
#{show role}
] #
$maybe _ <- mdeleg
\ [D] #
$nothing
\ [_] #
^{groupLinkFedW team}
$maybe (_, exts) <- mdeleg
<ul>
$forall (roleExt, topic) <- exts
<li>
[ #{show roleExt} ] in #
[ ^{groupLinkFedW topic} ]
<h3>Projects
<p>
These are the projects in which the user is a direct collaborator. Under each
project are other projects the user has access to, via delegation (i.e.
subprojects, sub-subprojects, etc.).
<ul>
$forall (role, project, mdeleg) <- projects
<li>
<span>
[
#{show role}
] #
$maybe _ <- mdeleg
\ [D] #
$nothing
\ [_] #
^{projectLinkFedW project}
$maybe (_, exts) <- mdeleg
<ul>
$forall (roleExt, topic) <- exts
<li>
[ #{show roleExt} ] in #
[ ^{projectLinkFedW topic} ]
<h3>Components
<p>
These are components, in which the user is a direct collaborator, and to
which the user doesn't have indirect access (via teams or projects).
<ul>
$forall (role, comp) <- components
<li>
<span>
[
#{show role}
] #
^{componentLinkFedW comp}