5 commits

Author	SHA1	Message	Date
Valentin Gagarin	84f00250d3	serve the website from the git repo ... - move the impure single-node deploy helper here it's not used anywhere else - reuse the pins from the website this needs to be cleaned up later - don't copy the config to the server it's impure (can't even build that without jumping through hoops), and useless when building via SSH	2024-11-13 17:54:20 +01:00
Nicolas Jeannerod	9a573df05f	Add pre-commit hooks for formatting and dead code	2024-11-13 16:00:39 +01:00
Nicolas Jeannerod	20f9d36481	Cleanup dead code	2024-11-13 16:00:39 +01:00
Nicolas Jeannerod	81176a1a9a	Format everything, RFC-style	2024-11-13 16:00:39 +01:00
Valentin Gagarin	c6cc92f5dc	Add 'services/' from commit 'a13b1e9372412d03f7b629694ecef5242e6e568d' ... git-subtree-dir: services git-subtree-mainline: e41e0daa82 git-subtree-split: a13b1e9372	2024-10-07 11:57:24 +02:00