walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2022-03-28	server: show helpful information for result	stuebinm	1	-6/+6
	This includes the backlink to the lobby (auto-generated only for now) and a "help!"-button for sending mails. Also general info regarding which commit was linted / published.
2022-03-20	server: keep (one) last good result per repo	stuebinm	1	-7/+7
	(i.e. we want to still have a valid version of the map if new results where introduced)
2022-03-19	server: websocket for updates & auto-reload	stuebinm	1	-12/+21
	todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
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
	(also, more lenses i guess)
2022-03-19	server: repositores & orgs fixed in config	stuebinm	1	-66/+27
	a very simple setup that might be usable for divoc and similar small events
2022-03-19	… several hours of fighting with TOML later	stuebinm	1	-28/+33
	WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
2022-03-19	server: switch to universum prelude, some cleanup	stuebinm	1	-43/+38
	it's slightly less of a mess than it was before
2022-03-19	server: added (somewhat) sensible logging	stuebinm	1	-7/+8
	it's not very sensible, but at least it exists
2022-03-19	server: admin interface	stuebinm	1	-3/+10
	(for now, just a list of all maps and their current status)
2022-03-19	server: proper job handling	stuebinm	1	-44/+64
	Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-03-19	non-blocking server	stuebinm	1	-0/+85