7 commits

Author	SHA1	Message	Date
Kaboom	99e84a8a33	reset.sh: remove old commits from git repos ... Only use the space required by the latest commit.	2024-06-04 01:01:35 +03:00
kaboom	ea048dfb54	reset.sh: Also update the framework	2023-09-27 00:50:16 +03:00
Luna	4fd8fe880a	Make the server automatically sync the changes with the GitHub repo on restart (#9)	2021-07-10 22:56:28 +03:00
kaboom	c4b4d1b38a	Properly shut down server when resetting	2021-07-10 18:12:15 +03:00
mathiascode	dd72d94cee	Bug fixes	2020-04-17 01:01:58 +03:00
mathiascode	c3d53b20d0	Always try to clone schematic repo	2020-04-16 22:17:16 +03:00
mathiascode	a6132fe8ab	Initial framework	2020-04-16 22:08:07 +03:00