Vervis/config/models

-- 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/>.

-------------------------------------------------------------------------------
-- People
-------------------------------------------------------------------------------

Sharer
    ident   ShrIdent
    name    Text     Maybe
    created UTCTime        default=now()

    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

    UniqueGroup ident

GroupMember
    person PersonId
    group  GroupId
    role   GroupRole
    joined UTCTime

    UniqueGroupMember person group

RepoRole
    ident  RlIdent
    person PersonId
    desc   Text

    UniqueRepoRole person ident

RepoAccess
    role RepoRoleId
    op   RepoOperation

    UniqueRepoAccess role op

RepoCollab
    repo   RepoId
    person PersonId
    role   RepoRoleId

    UniqueRepoCollab repo person

-------------------------------------------------------------------------------
-- Projects
-------------------------------------------------------------------------------

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

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
Move some files around, tweak the generated code a bit 2016-02-14 10:10:21 +01:00			`-- 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/>.`

Rename PersonInGroup model to GroupMember 2016-05-24 10:28:57 +02:00			`-------------------------------------------------------------------------------`
			`-- People`
			`-------------------------------------------------------------------------------`

Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00			`Sharer`
New sharer field: Creation time 2016-05-24 10:34:40 +02:00			`ident ShrIdent`
			`name Text Maybe`
Define column default like PostgreSQL to prevent repeated migration 2016-05-24 10:37:41 +02:00			`created UTCTime default=now()`
Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00
Finish route change, it builds now 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. 2016-05-23 22:46:54 +02:00			`UniqueSharer ident`
Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00
			`Person`
			`ident SharerId`
			`login Text`
			`hash Text Maybe`
			`email Text Maybe`

			`UniquePersonIdent ident`
			`UniquePersonLogin login`

Implement DB-based SSH authentication 2016-03-06 12:58:48 +01:00			`SshKey`
Finish route change, it builds now 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. 2016-05-23 22:46:54 +02:00			`ident KyIdent`
Implement DB-based SSH authentication 2016-03-06 12:58:48 +01:00			`person PersonId`
			`algo ByteString`
			`content ByteString`

Finish route change, it builds now 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. 2016-05-23 22:46:54 +02:00			`UniqueSshKey person ident`
Implement DB-based SSH authentication 2016-03-06 12:58:48 +01:00
Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00			`Group`
			`ident SharerId`

Rename PersonInGroup model to GroupMember 2016-05-24 10:28:57 +02:00			`UniqueGroup ident`

			`GroupMember`
			`person PersonId`
			`group GroupId`
Add group roles and make a group's creator its admin 2016-05-25 17:52:15 +02:00			`role GroupRole`
Enable adding group members 2016-05-26 18:25:23 +02:00			`joined UTCTime`
Rename PersonInGroup model to GroupMember 2016-05-24 10:28:57 +02:00
			`UniqueGroupMember person group`

Make all role-related code repo-specific 2016-06-01 09:35:22 +02:00			`RepoRole`
Initial minimal limited per-repo RBAC system 2016-05-29 15:17:55 +02:00			`ident RlIdent`
			`person PersonId`
			`desc Text`

Make all role-related code repo-specific 2016-06-01 09:35:22 +02:00			`UniqueRepoRole person ident`
Initial minimal limited per-repo RBAC system 2016-05-29 15:17:55 +02:00
Make all role-related code repo-specific 2016-06-01 09:35:22 +02:00			`RepoAccess`
			`role RepoRoleId`
			`op RepoOperation`
Initial minimal limited per-repo RBAC system 2016-05-29 15:17:55 +02:00
Make all role-related code repo-specific 2016-06-01 09:35:22 +02:00			`UniqueRepoAccess role op`
Initial minimal limited per-repo RBAC system 2016-05-29 15:17:55 +02:00
Make all role-related code repo-specific 2016-06-01 09:35:22 +02:00			`RepoCollab`
Initial minimal limited per-repo RBAC system 2016-05-29 15:17:55 +02:00			`repo RepoId`
			`person PersonId`
Make all role-related code repo-specific 2016-06-01 09:35:22 +02:00			`role RepoRoleId`
Initial minimal limited per-repo RBAC system 2016-05-29 15:17:55 +02:00
Make all role-related code repo-specific 2016-06-01 09:35:22 +02:00			`UniqueRepoCollab repo person`
Initial minimal limited per-repo RBAC system 2016-05-29 15:17:55 +02:00
Rename PersonInGroup model to GroupMember 2016-05-24 10:28:57 +02:00			`-------------------------------------------------------------------------------`
			`-- Projects`
			`-------------------------------------------------------------------------------`
Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00
			`Project`
Finish route change, it builds now 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. 2016-05-23 22:46:54 +02:00			`ident PrjIdent`
Add Ticket to persistent model 2016-04-30 22:40:33 +02:00			`sharer SharerId`
			`name Text Maybe`
			`desc Text Maybe`
Define column default like PostgreSQL to prevent repeated migration 2016-05-24 10:37:41 +02:00			`nextTicket Int default=1`
Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00
			`UniqueProject ident sharer`

			`Repo`
Finish route change, it builds now 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. 2016-05-23 22:46:54 +02:00			`ident RpIdent`
Repos right under users, not under projects 2016-04-12 19:37:31 +02:00			`sharer SharerId`
Repos specify their VCS (i.e. Git or Darcs) in the DB 2016-05-03 01:51:53 +02:00			`vcs VersionControlSystem default='VCSGit'`
			`project ProjectId Maybe`
			`desc Text Maybe`
			`mainBranch Text default='master'`
Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00
Repos right under users, not under projects 2016-04-12 19:37:31 +02:00			`UniqueRepo ident sharer`
Make initial homepage with table and simple login 2016-02-16 12:41:13 +01:00
Add Ticket to persistent model 2016-04-30 22:40:33 +02:00			`Ticket`
			`project ProjectId`
			`number Int`
			`created UTCTime`
Ticket view page 2016-05-01 11:58:55 +02:00			`creator PersonId`
Add Ticket to persistent model 2016-04-30 22:40:33 +02:00			`title Text`
			`desc Text -- Assume this is Pandoc Markdown`
			`done Bool`
Ticket update form 2016-05-02 11:15:10 +02:00			`closed UTCTime`
			`closer PersonId`
Each ticket has a unique discussion ID 2016-05-18 11:44:32 +02:00			`discuss DiscussionId`
Add Ticket to persistent model 2016-04-30 22:40:33 +02:00
			`UniqueTicket project number`
Compressed inventory parser and DarcsRev TH utils 2016-05-17 22:34:22 +02:00
			`Discussion`
Ticket discussion and message routes 2016-05-19 18:58:23 +02:00			`nextMessage Int`
Compressed inventory parser and DarcsRev TH utils 2016-05-17 22:34:22 +02:00
			`Message`
			`author PersonId`
			`created UTCTime`
			`content Text -- Assume this is Pandoc Markdown`
			`parent MessageId Maybe`
			`root DiscussionId`
Ticket discussion and message routes 2016-05-19 18:58:23 +02:00			`number Int`

			`UniqueMessage root number`