walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2022-03-19	server: remove a thunk leak	stuebinm	1	-4/+17
	(really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained)
2022-03-19	server: exneuland wants a token, apparently	stuebinm	1	-6/+9

2022-03-19	server: post map updates to exneuland's API	stuebinm	1	-8/+21

2022-03-19	server: add mapservice GET endpoint	stuebinm	1	-5/+11

2022-03-19	internal state: sort according to org	stuebinm	1	-14/+50
	(also, more lenses i guess)
2022-03-19	server: repositores & orgs fixed in config	stuebinm	1	-59/+58
	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	-30/+52
	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	-18/+22
	it's slightly less of a mess than it was before
2022-03-19	server: admin interface	stuebinm	1	-34/+30
	(for now, just a list of all maps and their current status)
2022-03-19	server: present lint results in pretty html	stuebinm	1	-5/+6
	(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-03-19	server: simple servant-lucid stuff	stuebinm	1	-1/+20

2022-03-19	server: simple toml config	stuebinm	1	-14/+37

2022-03-19	server: proper job handling	stuebinm	1	-5/+22
	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	-4/+20

2022-03-19	basic server setup (using servant)	stuebinm	1	-0/+45
	adds a very basic http server that can be sent links to repositories & will download & lint them, then answer the request with the lints. Should probably do this in a non-blocking way …