c6c41b485c
I used this chance to make some name changes, add some utils, tweak some imports, remove more `setTitle`s and so on. I also made person, repo, key and project creation forms verify CI-uniqueness.
93 lines
2 KiB
Text
93 lines
2 KiB
Text
-- This file is part of Vervis.
|
|
--
|
|
-- Written in 2016 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/>.
|
|
|
|
Sharer
|
|
ident ShrIdent
|
|
name Text Maybe
|
|
|
|
UniqueSharer ident
|
|
|
|
Person
|
|
ident SharerId
|
|
login Text
|
|
hash Text Maybe
|
|
email Text Maybe
|
|
|
|
UniquePersonIdent ident
|
|
UniquePersonLogin login
|
|
|
|
SshKey
|
|
ident KyIdent
|
|
person PersonId
|
|
algo ByteString
|
|
content ByteString
|
|
|
|
UniqueSshKey person ident
|
|
|
|
Group
|
|
ident SharerId
|
|
|
|
UniqueGroupIdent ident
|
|
|
|
Project
|
|
ident PrjIdent
|
|
sharer SharerId
|
|
name Text Maybe
|
|
desc Text Maybe
|
|
nextTicket Int default='1'
|
|
|
|
UniqueProject ident sharer
|
|
|
|
Repo
|
|
ident RpIdent
|
|
sharer SharerId
|
|
vcs VersionControlSystem default='VCSGit'
|
|
project ProjectId Maybe
|
|
desc Text Maybe
|
|
mainBranch Text default='master'
|
|
|
|
UniqueRepo ident sharer
|
|
|
|
PersonInGroup
|
|
person PersonId
|
|
group GroupId
|
|
|
|
UniquePersonInGroup person group
|
|
|
|
Ticket
|
|
project ProjectId
|
|
number Int
|
|
created UTCTime
|
|
creator PersonId
|
|
title Text
|
|
desc Text -- Assume this is Pandoc Markdown
|
|
done Bool
|
|
closed UTCTime
|
|
closer PersonId
|
|
discuss DiscussionId
|
|
|
|
UniqueTicket project number
|
|
|
|
Discussion
|
|
nextMessage Int
|
|
|
|
Message
|
|
author PersonId
|
|
created UTCTime
|
|
content Text -- Assume this is Pandoc Markdown
|
|
parent MessageId Maybe
|
|
root DiscussionId
|
|
number Int
|
|
|
|
UniqueMessage root number
|