Eventually-decentralized project hosting and management platform

[[ 🗃 ^WvWbo vervis ]] :: [📥 Inbox] [📤 Outbox] [🐤 Followers] [🤝 Collaborators] [🛠 Changes]

Clone

HTTPS: darcs clone https://vervis.peers.community/repos/WvWbo

SSH: darcs clone USERNAME@vervis.peers.community:WvWbo

Tags

TODO

templates /

personal-overview.hamlet

$# This file is part of Vervis.
$#
$# Written in 2016, 2018, 2019, 2022 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/>.

<p>
  This is the homepage for logged-in users. You should eventually see a
  personal overview here. Your projects, repos, news, notifications, settings
  and so on.

<h2>Actions

<ul>
  <li>
    <a href=@{KeysR}>
      SSH key settings
  <li>
    <a href=@{RepoNewR}>
      Create a new repository
  <li>
    <a href=@{DeckNewR}>
      Create a new ticket tracker
  <li>
    <a href=@{LoomNewR}>
      Create a new patch tracker
  <li>
    <a href=@{PublishOfferMergeR}>
      Open a merge request
$#   <li>
$#     <a href=@{PublishCommentR}>
$#       Comment on a ticket or merge request
  <li>
    <a href=@{PublishMergeR}>
      Merge a merge request

<h2>Your teams

<p>You aren't a member of any teams at the moment.

<h2>Your repos

<ul>
  $forall (Entity repoID _, Entity _ actor) <- repos
    <li>
      <a href=@{RepoR $ hashRepo repoID}>
        ^#{keyHashidText $ hashRepo repoID} #{actorName actor}

<h2>Your ticket trackers

<ul>
  $forall (Entity deckID _, Entity _ actor) <- decks
    <li>
      <a href=@{DeckR $ hashDeck deckID}>
        =#{keyHashidText $ hashDeck deckID} #{actorName actor}

<h2>Your patch trackers

<ul>
  $forall (Entity loomID _, Entity _ actor) <- looms
    <li>
      <a href=@{LoomR $ hashLoom loomID}>
        +#{keyHashidText $ hashLoom loomID} #{actorName actor}

[See repo JSON]