2023-06-16 23:14:40 +09:00
|
|
|
cabal-version: 2.2
|
2016-01-28 23:15:54 +09:00
|
|
|
name: vervis
|
2016-04-13 00:19:02 +09:00
|
|
|
version: 0.1
|
2020-05-24 18:17:57 +09:00
|
|
|
synopsis: Federated project hosting platform
|
2016-01-28 23:15:54 +09:00
|
|
|
description:
|
2020-05-24 18:17:57 +09:00
|
|
|
Vervis a decentralized software project hosting web application, which
|
|
|
|
federates using ActivityPub and ForgeFed.
|
2018-03-18 03:21:51 +09:00
|
|
|
.
|
|
|
|
Most of the source code is in the public domain using the CC0 public domain
|
|
|
|
dedication, but the application as a whole has GPL dependencies, and is
|
|
|
|
released under the AGPL 3 license.
|
2023-05-25 19:54:03 +09:00
|
|
|
homepage: https://vervis.peers.community/repos/rjQ3E
|
|
|
|
bug-reports: pere@towards.vision
|
2023-06-16 23:14:40 +09:00
|
|
|
license: AGPL-3.0-or-later
|
2022-09-07 00:38:34 +09:00
|
|
|
license-file: COPYING.AGPL3
|
2023-05-25 19:54:03 +09:00
|
|
|
author: Pere Lev
|
|
|
|
maintainer: pere@towards.vision
|
2016-01-28 23:15:54 +09:00
|
|
|
copyright: ♡ Copying is an act of love. Please copy, reuse and share.
|
|
|
|
category: Development, Distribution, Git, Web
|
|
|
|
build-type: Simple
|
2022-09-01 18:28:38 +09:00
|
|
|
extra-source-files: AUTHORS.md
|
2018-05-15 00:25:16 +09:00
|
|
|
CHANGELOG.md
|
2016-01-28 23:15:54 +09:00
|
|
|
COPYING
|
2019-05-05 20:15:51 +09:00
|
|
|
FEDERATION.md
|
2016-01-28 23:15:54 +09:00
|
|
|
INSTALL.md
|
|
|
|
README.md
|
|
|
|
|
|
|
|
source-repository head
|
2023-05-25 19:54:03 +09:00
|
|
|
type: git
|
|
|
|
location: https://vervis.peers.community/repos/rjQ3E
|
2016-01-28 23:15:54 +09:00
|
|
|
|
2016-02-13 12:35:30 +09:00
|
|
|
flag dev
|
|
|
|
description: Turn on development settings, like auto-reload templates.
|
|
|
|
default: False
|
|
|
|
|
|
|
|
flag library-only
|
|
|
|
description: Build for use with "yesod devel"
|
|
|
|
default: False
|
|
|
|
|
2016-01-28 23:15:54 +09:00
|
|
|
library
|
2022-09-01 18:34:25 +09:00
|
|
|
exposed-modules:
|
|
|
|
Vervis.Application
|
|
|
|
Vervis.Hook
|
|
|
|
other-modules:
|
|
|
|
Control.Applicative.Local
|
2023-04-29 19:40:44 +09:00
|
|
|
Control.Concurrent.Actor
|
2019-01-15 07:03:49 +09:00
|
|
|
Control.Concurrent.Local
|
2019-04-11 22:44:44 +09:00
|
|
|
Control.Concurrent.ResultShare
|
2023-04-29 19:40:44 +09:00
|
|
|
Control.Concurrent.Return
|
2019-06-15 13:39:13 +09:00
|
|
|
Control.Monad.Trans.Except.Local
|
Improve the AP async HTTP delivery API and per-actor key support
New iteration of the ActivityPub delivery implementation and interface.
Advantages over previous interface:
* When sending a ByteString body, the sender is explicitly passed as a
parameter instead of JSON-parsing it out of the ByteString
* Clear 3 operations provided: Send, Resend and Forward
* Support for per-actor keys
* Actor-type-specific functions (e.g. deliverRemoteDB_D) removed
* Only the most high-level API is exposed to Activity handler code, making
handler code more concise and clear
Also added in this patch:
* Foundation for per-actor key support
* 1 key per actor allowed in DB
* Disabled C2S and S2S handlers now un-exported for clarity
* Audience and capability parsing automatically done for all C2S handlers
* Audience and activity composition automatically done for Vervis.Client
builder functions
Caveats:
* Actor documents still don't link to their per-actor keys; that should be the
last piece to complete per-actor key support
* No moderation and anti-spam tools yet
* Delivery API doesn't yet have good integration of persistence layer, e.g.
activity is separately encoded into bytestring for DB and for HTTP; this will
be improved in the next iteration
* Periodic delivery now done in 3 separate steps, running sequentially; it
simplifies the code, but may be changed for efficiency/robustness in the next
iterations
* Periodic delivery collects per-actor keys in a
1-DB-transaction-for-each-delivery fashion, rather than grabbing them in the
big Esqueleto query (or keeping the signed output in the DB; this isn't done
currently to allow for smooth actor key renewal)
* No support yet in the API for delivery where the actor key has already been
fetched, rather than doing a DB transaction to grab it; such support would be
just an optimization, so it's low-priority, but will be added in later
iterations
2022-10-13 01:50:11 +09:00
|
|
|
Crypto.ActorKey
|
2019-03-11 08:15:42 +09:00
|
|
|
Crypto.PubKey.Encoding
|
|
|
|
Crypto.PublicVerifKey
|
2016-05-08 23:28:03 +09:00
|
|
|
Darcs.Local.Repository
|
2023-05-25 07:17:14 +09:00
|
|
|
Data.Slab
|
|
|
|
Data.Slab.Backend
|
|
|
|
Data.Slab.Simple
|
2019-01-22 00:54:57 +09:00
|
|
|
Data.Aeson.Encode.Pretty.ToEncoding
|
2019-02-03 20:01:36 +09:00
|
|
|
Data.Aeson.Local
|
2016-05-08 23:28:03 +09:00
|
|
|
Data.Attoparsec.ByteString.Local
|
2016-05-04 20:44:06 +09:00
|
|
|
Data.Binary.Local
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
-- Data.Bitraversable.Local
|
2016-04-25 03:25:30 +09:00
|
|
|
Data.ByteString.Char8.Local
|
2016-04-01 14:00:02 +09:00
|
|
|
Data.ByteString.Local
|
2016-05-24 05:46:54 +09:00
|
|
|
Data.CaseInsensitive.Local
|
2016-03-03 17:15:54 +09:00
|
|
|
Data.Char.Local
|
2019-09-05 21:02:42 +09:00
|
|
|
Data.DList.Local
|
2016-05-13 17:49:19 +09:00
|
|
|
Data.Either.Local
|
2016-05-03 10:20:23 +09:00
|
|
|
Data.EventTime.Local
|
2016-05-11 23:42:41 +09:00
|
|
|
Data.Functor.Local
|
2016-05-03 08:11:32 +09:00
|
|
|
Data.Git.Local
|
2016-08-04 08:09:42 +09:00
|
|
|
Data.Graph.DirectedAcyclic.View.Tree
|
2016-07-05 17:46:58 +09:00
|
|
|
Data.Graph.Inductive.Query.Cycle
|
2016-06-21 07:50:16 +09:00
|
|
|
Data.Graph.Inductive.Query.Layer
|
2016-07-05 21:37:31 +09:00
|
|
|
Data.Graph.Inductive.Query.Path
|
2016-07-14 09:39:00 +09:00
|
|
|
Data.Graph.Inductive.Query.TransRed
|
2016-06-21 07:50:16 +09:00
|
|
|
Data.HashMap.Lazy.Local
|
2016-05-06 08:05:56 +09:00
|
|
|
Data.Hourglass.Local
|
2019-02-09 06:54:22 +09:00
|
|
|
Data.Int.Local
|
|
|
|
Data.KeyFile
|
2016-02-27 14:41:36 +09:00
|
|
|
Data.List.Local
|
2019-04-11 22:44:44 +09:00
|
|
|
Data.List.NonEmpty.Local
|
2016-08-11 03:52:26 +09:00
|
|
|
Data.Maybe.Local
|
2019-06-09 23:32:57 +09:00
|
|
|
Data.MediaType
|
2016-05-10 20:05:56 +09:00
|
|
|
Data.Paginate.Local
|
2020-05-24 18:17:49 +09:00
|
|
|
Data.Patch.Local
|
2016-05-06 19:29:02 +09:00
|
|
|
Data.Text.UTF8.Local
|
|
|
|
Data.Text.Lazy.UTF8.Local
|
2016-05-08 23:28:03 +09:00
|
|
|
Data.Time.Clock.Local
|
2016-05-19 21:06:27 +09:00
|
|
|
Data.Tree.Local
|
2019-06-15 13:39:13 +09:00
|
|
|
Data.Tuple.Local
|
2016-05-23 21:24:14 +09:00
|
|
|
Database.Esqueleto.Local
|
2023-05-25 07:17:14 +09:00
|
|
|
Database.Persist.Box
|
|
|
|
Database.Persist.Box.Internal
|
|
|
|
Database.Persist.Box.Via
|
2016-05-23 06:43:59 +09:00
|
|
|
Database.Persist.Class.Local
|
2019-03-24 00:29:50 +09:00
|
|
|
Database.Persist.JSON
|
2016-05-23 21:24:14 +09:00
|
|
|
Database.Persist.Sql.Local
|
2023-05-25 07:17:14 +09:00
|
|
|
Database.Persist.Sqlite.Local
|
2019-03-10 02:12:43 +09:00
|
|
|
Database.Persist.Local
|
2016-07-06 01:13:48 +09:00
|
|
|
Database.Persist.Local.Class.PersistEntityHierarchy
|
2016-06-13 22:48:31 +09:00
|
|
|
Database.Persist.Local.RecursionDoc
|
2020-08-15 06:16:33 +09:00
|
|
|
Development.PatchMediaType
|
|
|
|
Development.PatchMediaType.JSON
|
|
|
|
Development.PatchMediaType.Persist
|
2016-06-29 04:46:54 +09:00
|
|
|
Diagrams.IntransitiveDAG
|
2016-05-24 05:46:54 +09:00
|
|
|
Formatting.CaseInsensitive
|
2018-03-27 23:28:56 +09:00
|
|
|
Language.Haskell.TH.Quote.Local
|
2019-02-08 08:08:28 +09:00
|
|
|
Network.FedURI
|
2019-01-22 00:54:57 +09:00
|
|
|
Network.HTTP.Client.Conduit.ActivityPub
|
2019-04-26 00:49:15 +09:00
|
|
|
Network.HTTP.Digest
|
2016-03-06 20:58:48 +09:00
|
|
|
Network.SSH.Local
|
2022-09-24 18:04:10 +09:00
|
|
|
System.Process.Typed.Local
|
2016-05-24 05:46:54 +09:00
|
|
|
Text.Blaze.Local
|
2016-06-03 18:12:33 +09:00
|
|
|
Text.Display
|
2018-03-06 11:26:27 +09:00
|
|
|
Text.Email.Local
|
2016-04-18 02:55:23 +09:00
|
|
|
Text.FilePath.Local
|
2016-05-06 19:29:02 +09:00
|
|
|
Text.Jasmine.Local
|
2019-03-10 06:21:36 +09:00
|
|
|
Web.ActivityAccess
|
2019-01-22 00:54:57 +09:00
|
|
|
Web.ActivityPub
|
2023-04-29 19:40:44 +09:00
|
|
|
Web.Actor
|
2023-05-25 07:17:14 +09:00
|
|
|
Web.Actor.Deliver
|
2023-04-29 19:40:44 +09:00
|
|
|
Web.Actor.Persist
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
-- Web.Capability
|
2022-09-21 21:50:26 +09:00
|
|
|
Web.Text
|
2019-02-09 06:54:22 +09:00
|
|
|
Web.Hashids.Local
|
2016-05-23 21:24:14 +09:00
|
|
|
Web.PathPieces.Local
|
2019-04-26 12:23:49 +09:00
|
|
|
Yesod.ActivityPub
|
2023-04-29 19:40:44 +09:00
|
|
|
Yesod.Actor
|
2018-03-18 02:30:46 +09:00
|
|
|
Yesod.Auth.Unverified
|
2018-03-18 07:16:02 +09:00
|
|
|
Yesod.Auth.Unverified.Creds
|
|
|
|
Yesod.Auth.Unverified.Internal
|
2019-03-20 19:08:36 +09:00
|
|
|
Yesod.FedURI
|
2022-09-16 19:34:44 +09:00
|
|
|
Yesod.Form.Local
|
2019-03-29 12:25:32 +09:00
|
|
|
Yesod.Hashids
|
2019-04-18 19:38:01 +09:00
|
|
|
Yesod.MonadSite
|
2018-03-06 09:55:52 +09:00
|
|
|
Yesod.Paginate.Local
|
2019-03-23 05:46:42 +09:00
|
|
|
Yesod.Persist.Local
|
2019-06-09 23:32:57 +09:00
|
|
|
Yesod.RenderSource
|
2018-03-18 02:30:46 +09:00
|
|
|
Yesod.SessionEntity
|
2016-05-10 20:05:56 +09:00
|
|
|
|
2019-01-27 07:22:49 +09:00
|
|
|
Vervis.Access
|
2019-06-15 13:39:13 +09:00
|
|
|
Vervis.ActivityPub
|
2023-04-29 19:40:44 +09:00
|
|
|
Vervis.Actor
|
2023-05-25 07:17:14 +09:00
|
|
|
Vervis.Actor2
|
2023-06-07 16:15:30 +09:00
|
|
|
Vervis.Actor.Common
|
2023-04-29 19:40:44 +09:00
|
|
|
Vervis.Actor.Deck
|
|
|
|
Vervis.Actor.Group
|
|
|
|
Vervis.Actor.Loom
|
|
|
|
Vervis.Actor.Person
|
2023-06-16 02:23:50 +09:00
|
|
|
Vervis.Actor.Person.Client
|
2023-06-27 04:02:54 +09:00
|
|
|
Vervis.Actor.Project
|
2023-04-29 19:40:44 +09:00
|
|
|
Vervis.Actor.Repo
|
2019-06-15 13:39:13 +09:00
|
|
|
Vervis.API
|
2016-05-26 06:10:41 +09:00
|
|
|
Vervis.Avatar
|
2016-04-25 03:48:07 +09:00
|
|
|
Vervis.BinaryBody
|
2016-05-06 07:20:11 +09:00
|
|
|
Vervis.Changes
|
2018-04-01 07:04:33 +09:00
|
|
|
Vervis.ChangeFeed
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Class.Actor
|
2022-08-16 22:17:26 +09:00
|
|
|
Vervis.Client
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
Vervis.Cloth
|
2016-06-26 17:03:18 +09:00
|
|
|
Vervis.Colour
|
2016-04-23 04:46:46 +09:00
|
|
|
Vervis.Content
|
2016-05-05 16:29:19 +09:00
|
|
|
Vervis.Darcs
|
2022-09-06 01:19:52 +09:00
|
|
|
|
2022-08-31 22:01:04 +09:00
|
|
|
Vervis.Data.Actor
|
|
|
|
Vervis.Data.Collab
|
2022-10-16 20:26:24 +09:00
|
|
|
Vervis.Data.Discussion
|
2022-10-25 13:54:56 +09:00
|
|
|
Vervis.Data.Follow
|
2022-09-21 21:50:26 +09:00
|
|
|
Vervis.Data.Ticket
|
2022-09-06 01:19:52 +09:00
|
|
|
|
2022-09-06 19:52:14 +09:00
|
|
|
--Vervis.Federation
|
2019-06-17 06:39:50 +09:00
|
|
|
Vervis.Federation.Auth
|
2022-09-08 21:00:14 +09:00
|
|
|
Vervis.Federation.Collab
|
2022-10-16 20:26:24 +09:00
|
|
|
Vervis.Federation.Discussion
|
2022-10-26 03:02:06 +09:00
|
|
|
Vervis.Federation.Offer
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Federation.Push
|
2022-09-24 00:58:54 +09:00
|
|
|
Vervis.Federation.Ticket
|
2020-06-18 19:38:04 +09:00
|
|
|
Vervis.Federation.Util
|
2019-07-23 22:59:48 +09:00
|
|
|
Vervis.FedURI
|
2022-09-24 00:59:21 +09:00
|
|
|
Vervis.Fetch
|
2022-09-26 21:51:06 +09:00
|
|
|
Vervis.Field.Key
|
2016-02-25 12:10:30 +09:00
|
|
|
Vervis.Field.Person
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Field.Project
|
|
|
|
--Vervis.Field.Repo
|
|
|
|
--Vervis.Field.Role
|
|
|
|
--Vervis.Field.Sharer
|
|
|
|
--Vervis.Field.Ticket
|
|
|
|
-- Vervis.Field.Workflow
|
2016-05-20 07:07:25 +09:00
|
|
|
Vervis.Form.Discussion
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Form.Group
|
2022-09-26 21:51:06 +09:00
|
|
|
Vervis.Form.Key
|
2022-09-16 19:34:44 +09:00
|
|
|
Vervis.Form.Repo
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Form.Role
|
2022-09-17 19:14:27 +09:00
|
|
|
Vervis.Form.Ticket
|
2022-10-18 00:08:00 +09:00
|
|
|
Vervis.Form.Tracker
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
-- Vervis.Form.Workflow
|
2016-05-24 05:46:54 +09:00
|
|
|
Vervis.Formatting
|
2016-02-23 17:45:03 +09:00
|
|
|
Vervis.Foundation
|
|
|
|
Vervis.Git
|
2016-07-29 01:40:10 +09:00
|
|
|
Vervis.GraphProxy
|
2019-09-25 19:43:05 +09:00
|
|
|
Vervis.Handler.Client
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
Vervis.Handler.Cloth
|
2016-02-23 17:45:03 +09:00
|
|
|
Vervis.Handler.Common
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
Vervis.Handler.Deck
|
|
|
|
-- Vervis.Handler.Git
|
2016-05-25 06:48:21 +09:00
|
|
|
Vervis.Handler.Group
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Handler.Inbox
|
2022-09-26 21:51:06 +09:00
|
|
|
Vervis.Handler.Key
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
Vervis.Handler.Loom
|
2016-02-23 17:45:03 +09:00
|
|
|
Vervis.Handler.Person
|
2016-02-27 14:41:36 +09:00
|
|
|
Vervis.Handler.Repo
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Handler.Role
|
2023-06-27 04:02:54 +09:00
|
|
|
Vervis.Handler.Project
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Handler.Sharer
|
2016-05-01 07:32:22 +09:00
|
|
|
Vervis.Handler.Ticket
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
-- Vervis.Handler.Wiki
|
|
|
|
-- Vervis.Handler.Workflow
|
2019-02-08 12:13:56 +09:00
|
|
|
Vervis.KeyFile
|
2016-09-01 01:51:02 +09:00
|
|
|
Vervis.Migration
|
2022-10-19 18:06:38 +09:00
|
|
|
Vervis.Migration.Entities
|
2018-03-27 23:28:56 +09:00
|
|
|
Vervis.Migration.Model
|
|
|
|
Vervis.Migration.TH
|
2016-05-05 16:29:19 +09:00
|
|
|
Vervis.Model
|
2016-08-09 04:17:25 +09:00
|
|
|
Vervis.Model.Entity
|
2016-05-26 00:52:15 +09:00
|
|
|
Vervis.Model.Group
|
2016-05-23 21:24:14 +09:00
|
|
|
Vervis.Model.Ident
|
2016-05-29 22:17:55 +09:00
|
|
|
Vervis.Model.Role
|
2016-08-11 09:44:11 +09:00
|
|
|
Vervis.Model.Ticket
|
2018-03-27 23:28:56 +09:00
|
|
|
Vervis.Model.TH
|
2016-08-08 23:01:06 +09:00
|
|
|
Vervis.Model.Workflow
|
2016-05-11 23:42:41 +09:00
|
|
|
Vervis.Paginate
|
2016-06-23 05:58:42 +09:00
|
|
|
Vervis.Palette
|
2020-05-24 18:17:49 +09:00
|
|
|
Vervis.Path
|
2022-09-06 01:19:52 +09:00
|
|
|
|
|
|
|
Vervis.Persist.Actor
|
2022-09-08 21:00:14 +09:00
|
|
|
Vervis.Persist.Collab
|
2022-10-16 20:26:24 +09:00
|
|
|
Vervis.Persist.Discussion
|
2022-10-25 13:54:56 +09:00
|
|
|
Vervis.Persist.Follow
|
2022-09-25 00:46:02 +09:00
|
|
|
Vervis.Persist.Ticket
|
2022-09-06 01:19:52 +09:00
|
|
|
|
2016-05-05 16:29:19 +09:00
|
|
|
Vervis.Readme
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
Vervis.Recipient
|
2019-03-10 00:40:02 +09:00
|
|
|
Vervis.RemoteActorStore
|
2023-06-08 21:38:09 +09:00
|
|
|
Vervis.RemoteActorStore.Types
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Repo
|
2018-03-06 09:55:52 +09:00
|
|
|
Vervis.Secure
|
2016-05-05 16:29:19 +09:00
|
|
|
Vervis.Settings
|
|
|
|
Vervis.Settings.StaticFiles
|
2019-09-05 21:02:42 +09:00
|
|
|
Vervis.Settings.TH
|
2016-05-05 16:29:19 +09:00
|
|
|
Vervis.SourceTree
|
2016-03-06 20:58:48 +09:00
|
|
|
Vervis.Ssh
|
2016-02-23 17:45:03 +09:00
|
|
|
Vervis.Style
|
2016-08-04 16:36:24 +09:00
|
|
|
Vervis.Ticket
|
2016-05-22 23:31:56 +09:00
|
|
|
Vervis.TicketFilter
|
2016-05-25 16:50:10 +09:00
|
|
|
Vervis.Time
|
2022-09-06 19:52:14 +09:00
|
|
|
|
|
|
|
Vervis.Web.Actor
|
2022-09-16 20:41:58 +09:00
|
|
|
Vervis.Web.Darcs
|
Improve the AP async HTTP delivery API and per-actor key support
New iteration of the ActivityPub delivery implementation and interface.
Advantages over previous interface:
* When sending a ByteString body, the sender is explicitly passed as a
parameter instead of JSON-parsing it out of the ByteString
* Clear 3 operations provided: Send, Resend and Forward
* Support for per-actor keys
* Actor-type-specific functions (e.g. deliverRemoteDB_D) removed
* Only the most high-level API is exposed to Activity handler code, making
handler code more concise and clear
Also added in this patch:
* Foundation for per-actor key support
* 1 key per actor allowed in DB
* Disabled C2S and S2S handlers now un-exported for clarity
* Audience and capability parsing automatically done for all C2S handlers
* Audience and activity composition automatically done for Vervis.Client
builder functions
Caveats:
* Actor documents still don't link to their per-actor keys; that should be the
last piece to complete per-actor key support
* No moderation and anti-spam tools yet
* Delivery API doesn't yet have good integration of persistence layer, e.g.
activity is separately encoded into bytestring for DB and for HTTP; this will
be improved in the next iteration
* Periodic delivery now done in 3 separate steps, running sequentially; it
simplifies the code, but may be changed for efficiency/robustness in the next
iterations
* Periodic delivery collects per-actor keys in a
1-DB-transaction-for-each-delivery fashion, rather than grabbing them in the
big Esqueleto query (or keeping the signed output in the DB; this isn't done
currently to allow for smooth actor key renewal)
* No support yet in the API for delivery where the actor key has already been
fetched, rather than doing a DB transaction to grab it; such support would be
just an optimization, so it's low-priority, but will be added in later
iterations
2022-10-13 01:50:11 +09:00
|
|
|
Vervis.Web.Delivery
|
2022-09-18 02:42:04 +09:00
|
|
|
Vervis.Web.Discussion
|
2022-09-16 20:41:58 +09:00
|
|
|
Vervis.Web.Git
|
|
|
|
Vervis.Web.Repo
|
2022-09-06 19:52:14 +09:00
|
|
|
|
2016-05-02 23:16:51 +09:00
|
|
|
Vervis.Widget
|
2016-05-18 19:10:07 +09:00
|
|
|
Vervis.Widget.Discussion
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
Vervis.Widget.Person
|
2016-05-06 19:29:02 +09:00
|
|
|
Vervis.Widget.Repo
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
--Vervis.Widget.Role
|
2022-09-17 19:14:27 +09:00
|
|
|
Vervis.Widget.Ticket
|
2022-10-18 00:08:00 +09:00
|
|
|
Vervis.Widget.Tracker
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
-- Vervis.Widget.Workflow
|
|
|
|
-- Vervis.Wiki
|
2022-10-25 13:54:56 +09:00
|
|
|
--Vervis.WorkItem
|
2022-09-01 18:34:25 +09:00
|
|
|
|
2016-02-13 12:35:30 +09:00
|
|
|
default-extensions: TemplateHaskell
|
|
|
|
QuasiQuotes
|
|
|
|
OverloadedStrings
|
|
|
|
MultiParamTypeClasses
|
|
|
|
TypeFamilies
|
|
|
|
GADTs
|
|
|
|
GeneralizedNewtypeDeriving
|
|
|
|
FlexibleContexts
|
|
|
|
FlexibleInstances
|
|
|
|
EmptyDataDecls
|
|
|
|
NoMonomorphismRestriction
|
|
|
|
DeriveDataTypeable
|
|
|
|
ViewPatterns
|
|
|
|
TupleSections
|
|
|
|
RecordWildCards
|
2022-09-21 21:50:26 +09:00
|
|
|
LambdaCase
|
2022-09-01 18:34:25 +09:00
|
|
|
|
2016-03-07 10:12:55 +09:00
|
|
|
build-depends: aeson
|
2019-01-19 10:44:21 +09:00
|
|
|
-- For activity JSOn display in /inbox test page
|
|
|
|
, aeson-pretty
|
2023-04-29 19:40:44 +09:00
|
|
|
-- For rethrowing in Control.Concurrent.Actor
|
|
|
|
, annotated-exception
|
2019-03-11 08:15:42 +09:00
|
|
|
-- for encoding and decoding of crypto public keys
|
|
|
|
, asn1-encoding
|
|
|
|
, asn1-types
|
2016-05-08 23:28:03 +09:00
|
|
|
-- for parsing commands sent over SSH and Darcs patch
|
|
|
|
-- metadata
|
2016-04-19 18:42:02 +09:00
|
|
|
, attoparsec
|
Switch to new actor layout
This is such a huge patch, it's probably impossible to tell what it does by
looking at the code. One thing is clear: It changes *everything* :P so here's
an overview:
- There are now 5 types of actors, each having its own top-level route
- So projects, repos, etc. are no longer "under" sharers
- Actor routes are now based on their KeyHashid, there are no "idents" anymore,
i.e. URLs look random and don't contain user or repo names
- No sharers anymore; people and groups are distinct entities not sharing a
common namespace or anything like that
- Project has been renamed to Deck and it simply means a ticket tracker; repos
are no longer "under" projects
- In addition to Person, Group, Repo and Deck, there's a new actor type Loom,
which is a patch tracker; i.e. Repo actors don't manage MRs anymore
- All C2S and S2S is temporarily disabled, because huge changes to the whole
code are required and I'll do them gradually in the next patches
- Since form-based actions are implemented using C2S, they're disabled as well,
so Vervis is now essentially read-only
- Some views have been temporarily removed, e.g. repo history and commit view
- A huge set of DB migrations has been added to adapt the DB to these changes;
I haven't tested them yet on a read DB so there may be errors there; I'll fix
them in the next patches if I find any (probably going to test on the main
instance where Vervis itself is hosted...)
- Some modules got tech upgrades, e.g. LocalActor became a higher-kinded type
and a similar pattern is probably relevant for several other types
- There's an 'Actor' entity in the DB schema now, and all 5 actor types use it
for common things like inbox and outbox
- Although inbox and outbox are used only by Actor, so essentially could be
removed, I haven't removed them; that's because I wonder if at some point
users can have a tree of inboxes much like in email; I don't have an excuse
for Outbox, but anyway, leaving them as is for now
- Workflows, roles and collaborators are partially removed/unused until I
figure out a sane federated way to provide these features
- Since repo routes don't contain a "sharer" anymore, SSH URIs are now simpler,
they already look like user@host/repo regardless of who "controls" that repo
2022-08-15 22:57:42 +09:00
|
|
|
-- For LocalActorBy and LocalStageBy
|
|
|
|
, barbies
|
2016-03-07 10:12:55 +09:00
|
|
|
, base
|
2016-05-08 23:28:03 +09:00
|
|
|
-- for hex display of Darcs patch hashes
|
|
|
|
, base16-bytestring
|
2023-05-30 15:48:21 +09:00
|
|
|
, base58-bytestring
|
2016-05-05 16:29:19 +09:00
|
|
|
, base64-bytestring
|
2016-04-25 03:25:30 +09:00
|
|
|
-- for Data.Binary.Local
|
|
|
|
, binary
|
2016-03-07 09:42:06 +09:00
|
|
|
, blaze-html
|
2016-05-06 19:29:02 +09:00
|
|
|
-- for Data.EventTime.Local
|
|
|
|
, blaze-markup
|
2016-04-12 07:13:32 +09:00
|
|
|
, byteable
|
2016-03-07 10:12:55 +09:00
|
|
|
, bytestring
|
2016-05-16 23:02:43 +09:00
|
|
|
-- for Darcs.Local.PatchInfo.Parser
|
|
|
|
, bytestring-lexing
|
2016-02-16 20:41:13 +09:00
|
|
|
, case-insensitive
|
2023-05-25 07:17:14 +09:00
|
|
|
-- For slab/box/citron serialization
|
|
|
|
, cereal
|
2016-06-26 17:03:18 +09:00
|
|
|
-- for defining colors for use with diagrams
|
|
|
|
, colour
|
2016-03-07 10:12:55 +09:00
|
|
|
, conduit
|
2019-01-22 00:54:57 +09:00
|
|
|
-- For httpAPEither
|
|
|
|
, conduit-extra
|
2016-02-16 20:41:13 +09:00
|
|
|
, containers
|
2016-05-08 23:28:03 +09:00
|
|
|
, cryptonite
|
2016-05-05 16:29:19 +09:00
|
|
|
-- for Storage.Hashed because hashed-storage seems
|
|
|
|
-- unmaintained and darcs has its own copy
|
|
|
|
, darcs
|
2018-05-25 06:45:01 +09:00
|
|
|
, darcs-lights
|
2016-02-16 20:41:13 +09:00
|
|
|
, data-default
|
2016-05-10 20:05:56 +09:00
|
|
|
, data-default-class
|
2018-04-05 09:04:39 +09:00
|
|
|
, data-default-instances-bytestring
|
2019-04-11 22:44:44 +09:00
|
|
|
, data-ordlist
|
2016-06-29 04:46:54 +09:00
|
|
|
-- for drawing DAGs: RBAC role inheritance, etc.
|
2016-07-02 17:51:29 +09:00
|
|
|
, diagrams-core
|
|
|
|
, diagrams-lib
|
|
|
|
, diagrams-svg
|
2016-03-07 10:12:55 +09:00
|
|
|
, directory
|
2016-05-03 08:11:32 +09:00
|
|
|
-- for Data.Git.Local
|
|
|
|
, directory-tree
|
2016-03-02 07:16:01 +09:00
|
|
|
, dlist
|
2020-03-28 23:18:00 +09:00
|
|
|
, dvara
|
2018-03-06 11:26:27 +09:00
|
|
|
, email-validate
|
2019-09-05 21:02:42 +09:00
|
|
|
, email-validate-json
|
2016-02-16 20:41:13 +09:00
|
|
|
, esqueleto
|
2018-05-16 09:02:54 +09:00
|
|
|
, exceptions
|
2016-03-07 10:12:55 +09:00
|
|
|
, fast-logger
|
2016-05-19 21:06:27 +09:00
|
|
|
-- for building a message tree using DFS in
|
|
|
|
-- Vervis.Discussion, possibly also used by some git
|
|
|
|
-- graph related code?
|
2016-02-29 10:59:33 +09:00
|
|
|
, fgl
|
2016-02-13 12:35:30 +09:00
|
|
|
, file-embed
|
2016-02-27 14:41:36 +09:00
|
|
|
, filepath
|
2016-04-14 01:17:34 +09:00
|
|
|
, formatting
|
2016-03-01 06:42:37 +09:00
|
|
|
, hashable
|
2019-02-09 06:54:22 +09:00
|
|
|
, hashids
|
2016-05-03 08:11:32 +09:00
|
|
|
-- for source file highlighting
|
2016-04-12 20:21:14 +09:00
|
|
|
, highlighter2
|
2019-01-22 00:54:57 +09:00
|
|
|
, http-client-signature
|
2022-09-21 21:50:26 +09:00
|
|
|
, html-entities
|
2019-01-19 10:44:21 +09:00
|
|
|
, http-signature
|
2018-12-05 12:41:19 +09:00
|
|
|
, git
|
2023-05-25 19:54:03 +09:00
|
|
|
, gitrev
|
2018-12-05 12:41:19 +09:00
|
|
|
, hit-graph
|
|
|
|
, hit-harder
|
|
|
|
, hit-network
|
2016-05-06 19:29:02 +09:00
|
|
|
-- currently discarding all JS so no need for minifier
|
|
|
|
--, hjsmin
|
2018-12-05 12:41:19 +09:00
|
|
|
-- 'git' uses it for 'GitTime'
|
2016-02-16 20:41:13 +09:00
|
|
|
, hourglass
|
2019-01-15 07:08:44 +09:00
|
|
|
, yesod-http-signature
|
2019-01-19 10:44:21 +09:00
|
|
|
, http-client
|
|
|
|
, http-client-tls
|
|
|
|
, http-conduit
|
2016-02-29 23:04:23 +09:00
|
|
|
, http-types
|
2016-05-26 06:10:41 +09:00
|
|
|
, libravatar
|
2016-05-08 23:28:03 +09:00
|
|
|
, memory
|
2018-02-25 18:28:55 +09:00
|
|
|
, mime-mail
|
2016-03-07 10:12:55 +09:00
|
|
|
, monad-control
|
|
|
|
, monad-logger
|
2016-06-13 07:37:52 +09:00
|
|
|
-- for Database.Persist.Local
|
|
|
|
, mtl
|
2018-02-25 18:28:55 +09:00
|
|
|
, network
|
2019-01-19 10:44:21 +09:00
|
|
|
, network-uri
|
2023-06-07 16:15:30 +09:00
|
|
|
, optics-core
|
2016-04-18 02:55:23 +09:00
|
|
|
, pandoc
|
|
|
|
, pandoc-types
|
2016-05-23 21:24:14 +09:00
|
|
|
-- for PathPiece instance for CI, Web.PathPieces.Local
|
|
|
|
, path-pieces
|
2018-05-20 01:10:03 +09:00
|
|
|
, patience
|
2019-01-15 07:08:44 +09:00
|
|
|
, pem
|
2016-03-07 10:12:55 +09:00
|
|
|
, persistent
|
2018-03-06 11:26:27 +09:00
|
|
|
, persistent-email-address
|
2019-01-27 07:20:19 +09:00
|
|
|
, persistent-graph
|
2018-02-26 23:23:02 +09:00
|
|
|
, persistent-migration
|
2016-03-07 10:12:55 +09:00
|
|
|
, persistent-postgresql
|
2023-05-25 07:17:14 +09:00
|
|
|
, persistent-sqlite
|
2016-03-07 10:12:55 +09:00
|
|
|
, persistent-template
|
2016-04-19 23:56:02 +09:00
|
|
|
, process
|
2019-02-09 06:54:22 +09:00
|
|
|
-- for generating hashids salt
|
|
|
|
, random
|
2016-06-13 07:37:52 +09:00
|
|
|
-- for Database.Persist.Local
|
|
|
|
, resourcet
|
2023-05-25 07:17:14 +09:00
|
|
|
, retry
|
2016-02-13 12:35:30 +09:00
|
|
|
, safe
|
2016-03-07 10:12:55 +09:00
|
|
|
, shakespeare
|
2019-06-30 05:31:01 +09:00
|
|
|
-- for json debug highlighting in Yesod.RenderSource
|
|
|
|
, skylighting
|
2018-02-25 18:28:55 +09:00
|
|
|
, smtp-mail
|
2016-07-02 17:51:29 +09:00
|
|
|
, ssh
|
2019-01-15 07:08:44 +09:00
|
|
|
-- for holding actor key in a TVar
|
|
|
|
, stm
|
2016-07-02 17:51:29 +09:00
|
|
|
-- for rendering diagrams
|
|
|
|
, svg-builder
|
2016-06-29 04:46:54 +09:00
|
|
|
-- for text drawing in 'diagrams'
|
|
|
|
, SVGFonts
|
2016-02-16 20:41:13 +09:00
|
|
|
, template-haskell
|
2022-09-23 02:12:37 +09:00
|
|
|
, temporary
|
2016-03-07 10:12:55 +09:00
|
|
|
, text
|
2020-02-19 19:59:38 +09:00
|
|
|
, these
|
2016-02-16 20:41:13 +09:00
|
|
|
, time
|
2018-04-01 12:02:35 +09:00
|
|
|
, time-interval
|
2018-07-01 17:15:23 +09:00
|
|
|
, time-interval-aeson
|
2018-04-01 12:02:35 +09:00
|
|
|
, time-units
|
2019-04-16 23:27:50 +09:00
|
|
|
, tls
|
2016-02-29 23:04:23 +09:00
|
|
|
, transformers
|
2016-06-29 04:46:54 +09:00
|
|
|
-- probably should be replaced with lenses once I learn
|
|
|
|
, tuple
|
2022-06-23 18:09:02 +09:00
|
|
|
, typed-process
|
2019-09-05 21:02:42 +09:00
|
|
|
-- For making git hooks executable, i.e. set file mode
|
|
|
|
, unix
|
2019-01-22 00:54:57 +09:00
|
|
|
-- For httpAPEither
|
|
|
|
, unliftio-core
|
2019-01-19 10:44:21 +09:00
|
|
|
, unliftio
|
2016-02-13 12:35:30 +09:00
|
|
|
, unordered-containers
|
2018-05-22 05:32:34 +09:00
|
|
|
, vector
|
2016-02-13 12:35:30 +09:00
|
|
|
, wai
|
2016-03-07 10:12:55 +09:00
|
|
|
, wai-extra
|
|
|
|
, wai-logger
|
|
|
|
, warp
|
2019-03-11 08:15:42 +09:00
|
|
|
-- for encoding and decoding of crypto public keys
|
|
|
|
, x509
|
2019-10-11 01:41:34 +09:00
|
|
|
-- for parsing darcs apply's changes XML from env var in
|
|
|
|
-- the vervis post-apply hook program
|
|
|
|
, xml
|
2016-04-18 02:55:23 +09:00
|
|
|
, xss-sanitize
|
2016-03-07 10:12:55 +09:00
|
|
|
, yaml
|
|
|
|
, yesod
|
|
|
|
, yesod-auth
|
2018-03-04 06:33:59 +09:00
|
|
|
, yesod-auth-account
|
2016-03-07 10:12:55 +09:00
|
|
|
, yesod-core
|
|
|
|
, yesod-form
|
2018-03-21 01:01:33 +09:00
|
|
|
, yesod-mail-send
|
2018-04-01 07:04:33 +09:00
|
|
|
, yesod-newsfeed
|
2016-03-07 10:12:55 +09:00
|
|
|
, yesod-static
|
2016-03-07 09:42:06 +09:00
|
|
|
, yesod-persistent
|
2016-05-18 05:34:22 +09:00
|
|
|
-- for reading gzipped darcs inventory via utils in
|
|
|
|
-- Data.Attoparsec.ByteString.Local
|
|
|
|
, zlib
|
2022-09-01 18:34:25 +09:00
|
|
|
|
2016-02-14 18:10:21 +09:00
|
|
|
hs-source-dirs: src
|
2016-02-13 12:35:30 +09:00
|
|
|
default-language: Haskell2010
|
|
|
|
|
|
|
|
if flag(dev) || flag(library-only)
|
|
|
|
cpp-options: -DDEVELOPMENT
|
2022-09-19 20:00:47 +09:00
|
|
|
ghc-options: -Wall -fwarn-tabs -O0
|
|
|
|
-Werror=incomplete-patterns
|
|
|
|
-Werror=missing-fields
|
|
|
|
-Werror=overlapping-patterns
|
2016-02-13 12:35:30 +09:00
|
|
|
else
|
|
|
|
ghc-options: -Wall -fwarn-tabs -O2
|
|
|
|
|
|
|
|
executable vervis
|
|
|
|
main-is: main.hs
|
|
|
|
build-depends: base, vervis
|
|
|
|
hs-source-dirs: app
|
|
|
|
default-language: Haskell2010
|
2018-03-18 02:30:46 +09:00
|
|
|
ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
|
2016-02-13 12:35:30 +09:00
|
|
|
|
|
|
|
if flag(library-only)
|
|
|
|
buildable: False
|
|
|
|
|
2019-09-05 21:02:42 +09:00
|
|
|
executable vervis-post-receive
|
|
|
|
main-is: main.hs
|
|
|
|
build-depends: base, vervis
|
2019-10-07 23:05:52 +09:00
|
|
|
hs-source-dirs: hook-git
|
|
|
|
default-language: Haskell2010
|
|
|
|
ghc-options: -Wall
|
|
|
|
|
|
|
|
executable vervis-post-apply
|
|
|
|
main-is: main.hs
|
|
|
|
build-depends: base, vervis
|
|
|
|
hs-source-dirs: hook-darcs
|
2019-09-05 21:02:42 +09:00
|
|
|
default-language: Haskell2010
|
|
|
|
ghc-options: -Wall
|
|
|
|
|
2016-02-13 12:35:30 +09:00
|
|
|
test-suite test
|
|
|
|
main-is: Spec.hs
|
2022-09-01 18:34:25 +09:00
|
|
|
|
2016-02-13 12:35:30 +09:00
|
|
|
default-extensions: TemplateHaskell
|
|
|
|
QuasiQuotes
|
|
|
|
OverloadedStrings
|
|
|
|
CPP
|
|
|
|
MultiParamTypeClasses
|
|
|
|
TypeFamilies
|
|
|
|
GADTs
|
|
|
|
GeneralizedNewtypeDeriving
|
|
|
|
FlexibleContexts
|
|
|
|
FlexibleInstances
|
|
|
|
EmptyDataDecls
|
|
|
|
NoMonomorphismRestriction
|
|
|
|
DeriveDataTypeable
|
|
|
|
ViewPatterns
|
|
|
|
TupleSections
|
2022-09-01 18:34:25 +09:00
|
|
|
|
2016-02-13 12:35:30 +09:00
|
|
|
build-depends: base
|
|
|
|
, vervis
|
2022-06-22 15:19:37 +09:00
|
|
|
, yesod-test
|
2016-02-13 12:35:30 +09:00
|
|
|
, yesod-core
|
|
|
|
, yesod
|
2016-02-06 22:36:35 +09:00
|
|
|
, persistent
|
2016-02-13 12:35:30 +09:00
|
|
|
, persistent-postgresql
|
2016-02-12 10:53:19 +09:00
|
|
|
, resourcet
|
2016-02-13 12:35:30 +09:00
|
|
|
, monad-logger
|
|
|
|
, shakespeare
|
2016-02-12 20:01:53 +09:00
|
|
|
, transformers
|
2016-02-13 12:35:30 +09:00
|
|
|
, hspec >= 2.0.0
|
|
|
|
, aeson
|
2022-09-01 18:34:25 +09:00
|
|
|
|
2016-07-05 17:46:58 +09:00
|
|
|
hs-source-dirs: test
|
2016-01-28 23:15:54 +09:00
|
|
|
default-language: Haskell2010
|
2016-07-05 21:36:40 +09:00
|
|
|
ghc-options: -Wall
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
|
|
|
-- test-suite test-graph
|
|
|
|
-- main-is: Test.hs
|
|
|
|
-- build-depends: base
|
|
|
|
-- , fgl
|
|
|
|
-- , fgl-arbitrary
|
|
|
|
-- , hspec
|
|
|
|
-- , vervis
|
|
|
|
-- hs-source-dirs: test
|
|
|
|
-- default-language: Haskell2010
|
|
|
|
-- ghc-options: -Wall
|
|
|
|
-- type: exitcode-stdio-1.0
|