walint - A linter for workadventure maps

	Commit message (Expand)	Author	Files	Lines
2022-04-06	server: expose jitsi rooms in maps list endpoint	stuebinm	1	-1/+2
2022-04-03	server: fix map paths in api	stuebinm	1	-3/+3
2022-03-28	server: show helpful information for result	stuebinm	1	-6/+6
2022-03-20	server: keep (one) last good result per repo	stuebinm	1	-7/+7
2022-03-19	server: websocket for updates & auto-reload	stuebinm	1	-12/+21
2022-03-19	server: add a very simple relint button	stuebinm	1	-17/+32
2022-03-19	server: write out adjusted maps	stuebinm	1	-3/+5
2022-03-19	server: add mapservice GET endpoint	stuebinm	1	-40/+39
2022-03-19	internal state: sort according to org	stuebinm	1	-9/+10
2022-03-19	server: repositores & orgs fixed in config	stuebinm	1	-66/+27
2022-03-19	… several hours of fighting with TOML later	stuebinm	1	-28/+33
2022-03-19	server: switch to universum prelude, some cleanup	stuebinm	1	-43/+38
2022-03-19	server: added (somewhat) sensible logging	stuebinm	1	-7/+8
2022-03-19	server: admin interface	stuebinm	1	-3/+10
2022-03-19	server: proper job handling	stuebinm	1	-44/+64
2022-03-19	non-blocking server	stuebinm	1	-0/+85