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

migrations /

426_2022-08-21_collab_accept_mig.model

RemoteActor
RemoteActivity
Role
Workflow
Inbox
FollowerSet

Collab

CollabTopicLocalRepo
    collab CollabId
    repo   RepoId

    UniqueCollabTopicLocalRepo collab

CollabTopicLocalDeck
    collab CollabId
    deck   DeckId

    UniqueCollabTopicLocalDeck collab

CollabTopicLocalLoom
    collab CollabId
    loom   LoomId

    UniqueCollabTopicLocalLoom collab

CollabTopicAccept
    collab CollabId
    accept OutboxItemId

    UniqueCollabTopicAcceptCollab collab
    UniqueCollabTopicAcceptAccept accept

CollabSenderLocal
    collab   CollabId
    activity OutboxItemId

    UniqueCollabSenderLocal collab
    UniqueCollabSenderLocalActivity activity

CollabSenderRemote
    collab   CollabId
    actor    RemoteActorId
    activity RemoteActivityId

    UniqueCollabSenderRemote collab
    UniqueCollabSenderRemoteActivity activity

Repo
    vcs        VersionControlSystem
    project    DeckId               Maybe
    mainBranch Text
    collabUser RoleId               Maybe
    collabAnon RoleId               Maybe
    actor      ActorId
    create     OutboxItemId

    UniqueRepoActor  actor
    UniqueRepoCreate create

Deck
    actor      ActorId
    workflow   WorkflowId
    nextTicket Int
    wiki       RepoId        Maybe
    collabUser RoleId        Maybe
    collabAnon RoleId        Maybe
    create     OutboxItemId

    UniqueDeckActor  actor
    UniqueDeckCreate create

Loom
    nextTicket Int
    actor      ActorId
    repo       RepoId
    create     OutboxItemId

    UniqueLoomActor  actor
    UniqueLoomRepo   repo
    UniqueLoomCreate create

Actor
    name      Text
    desc      Text
    createdAt UTCTime
    inbox     InboxId
    outbox    OutboxId
    followers FollowerSetId

    UniqueActorInbox     inbox
    UniqueActorOutbox    outbox
    UniqueActorFollowers followers

Outbox

OutboxItem
    outbox    OutboxId
    activity  PersistJSONObject
    published UTCTime
[See repo JSON]