- 26 Nov, 2024 2 commits
-
-
Grégoire Locqueville authored
This reverts commit ff00345c
-
Grégoire Locqueville authored
-
- 21 Nov, 2024 7 commits
-
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
[TESTED] Worker Tested and README info to create the database, launching and configuring it. Thank your Przemysław for this nice upgrade.
-
Alfredo Di Napoli authored
-
Alfredo Di Napoli authored
-
- 20 Nov, 2024 3 commits
-
-
Alexandre Delanoë authored
-
Grégoire Locqueville authored
-
Grégoire Locqueville authored
-
- 19 Nov, 2024 8 commits
-
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
-
Przemyslaw Kaminski authored
-
Przemyslaw Kaminski authored
-
Przemyslaw Kaminski authored
-
Przemyslaw Kaminski authored
Also, use genericArbitrary in Instances, this simplifies things
-
Przemyslaw Kaminski authored
Also, some import refactoring
-
- 18 Nov, 2024 5 commits
-
-
Alfredo Di Napoli authored
-
Alfredo Di Napoli authored
This function extracts the Node.Update logic for `publish_node` into a separate function, so that we can use it in a `POST` request, i.e. a new endpoint for publishing nodes.
-
Alfredo Di Napoli authored
Previously there was no symmetry in the name of the share endpoint, which is meant to be used to generate a publicly-accessible URL to view a node, and the previously-called "unpulish" endpoint. The problem is that now the "unpublish" name would clash with the dual of publishing a node. To avoid the problem, this commit renames the old "unpublish" endpoint to be "unshare", so that now it's clear that is the inverse operation of "share".
-
Alfredo Di Napoli authored
-
Alfredo Di Napoli authored
This allows the frontend to correctly display a different icon in case a node has been published with edits enabled or not.
-
- 15 Nov, 2024 1 commit
-
-
Przemyslaw Kaminski authored
-
- 14 Nov, 2024 6 commits
-
-
Przemyslaw Kaminski authored
-
Przemyslaw Kaminski authored
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
-
Alfredo Di Napoli authored
Previous to this commit, `get_user_root_node_folder` would fail with a `UserHasTooManyRoots` in case this was called on a tree which had more than one "public" folder. We fix this by taking the oldest available node, which will always correspond to the notion of "root", being the first ever created.
-
Przemyslaw Kaminski authored
-
- 13 Nov, 2024 5 commits
-
-
Przemyslaw Kaminski authored
Ref: #238, #341, #418
-
Alexandre Delanoë authored
-
Alexandre Delanoë authored
-
Przemyslaw Kaminski authored
Ref: #238, #341, #418
-
Przemyslaw Kaminski authored
-
- 12 Nov, 2024 2 commits
-
-
Grégoire Locqueville authored
Also added a warning in `.ghci` in the form of a comment discouraging people from overriding local REPL configuration options
-
Przemyslaw Kaminski authored
-
- 11 Nov, 2024 1 commit
-
-
Alfredo Di Napoli authored
-