Federated forge server

[[ 🗃 ^rjQ3E vervis ]] :: [📥 Inbox] [📤 Outbox] [🐤 Followers] [🤝 Collaborators] [🛠 Commits]

Clone

HTTPS: git clone https://vervis.peers.community/repos/rjQ3E

SSH: git clone USERNAME@vervis.peers.community:rjQ3E

Branches

Tags

main :: templates / widget /

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}

[See repo JSON]