4 Commits

Author	SHA1	Message	Date
julian	64b2588dd2	Move docker creation over to devenv ... This is not ideal, since devenv is more for creating development environments, but it works	2026-06-13 14:55:37 +02:00
julian	c2c2e2d666	Improve docker setup and update scripts	2026-06-12 19:48:20 +02:00
julian	0d758adb2d	Move update scripts into hosting directory	2026-06-12 09:19:58 +02:00
julian	19aaa4aeb0	add docker setup for hosting the repo	2025-10-09 21:02:20 +02:00