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 /

388_2022-08-04_ticket_loom.model

Repo
OutboxItem
Person
RemoteActor
RemoteObject
RemoteActivity

TicketRepoLocal
    ticket TicketId
    repo   RepoId
    branch Text     Maybe

    UniqueTicketRepoLocal ticket

Ticket
    number      Int           Maybe
    created     UTCTime
    title       Text                -- HTML
    source      Text                -- Pandoc Markdown
    description Text                -- HTML
    status      TicketStatus
    discuss     DiscussionId
    followers   FollowerSetId
    accept      OutboxItemId

    -- UniqueTicket project number
    UniqueTicketDiscuss   discuss
    UniqueTicketFollowers followers
    UniqueTicketAccept    accept

Message
    created UTCTime
    source  Text               -- Pandoc Markdown
    content Text               -- HTML
    parent  MessageId    Maybe
    root    DiscussionId

LocalMessage
    author         PersonId
    rest           MessageId
    create         OutboxItemId
    unlinkedParent FedURI    Maybe

    UniqueLocalMessage rest
    UniqueLocalMessageCreate create

RemoteMessage
    author     RemoteActorId
    ident      RemoteObjectId
    rest       MessageId
    create     RemoteActivityId
    lostParent FedURI            Maybe

    UniqueRemoteMessageIdent  ident
    UniqueRemoteMessage       rest
    UniqueRemoteMessageCreate create

Bundle
    ticket TicketId

Patch
    bundle  BundleId
    created UTCTime
    type    PatchMediaType
    content Text

TicketResolve
    ticket TicketId
    accept OutboxItemId

    UniqueTicketResolve ticket
    UniqueTicketResolveAccept accept

TicketResolveLocal
    ticket   TicketResolveId
    activity OutboxItemId

    UniqueTicketResolveLocal ticket
    UniqueTicketResolveLocalActivity activity

TicketResolveRemote
    ticket   TicketResolveId
    activity RemoteActivityId
    actor    RemoteActorId

    UniqueTicketResolveRemote ticket
    UniqueTicketResolveRemoteActivity activity

Discussion

FollowerSet

Follow
    person PersonId
    target FollowerSetId
    public Bool
    follow OutboxItemId
    accept OutboxItemId

    UniqueFollow person target
    UniqueFollowFollow follow
    UniqueFollowAccept accept

RemoteFollow
    actor  RemoteActorId
    target FollowerSetId
    public Bool
    follow RemoteActivityId
    accept OutboxItemId

    UniqueRemoteFollow actor target
    UniqueRemoteFollowFollow follow
    UniqueRemoteFollowAccept accept

TicketAuthorLocal
    ticket TicketId
    author PersonId
    open   OutboxItemId

    UniqueTicketAuthorLocal     ticket
    UniqueTicketAuthorLocalOpen open

TicketAuthorRemote
    ticket TicketId
    author RemoteActorId
    open   RemoteActivityId

    UniqueTicketAuthorRemote     ticket
    UniqueTicketAuthorRemoteOpen open
[See repo JSON]