walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	server: remove cli-git, cli-extras	stuebinm	2022-02-16	1	-4/+4
\| \| \| \| \| \| \| \|	both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure!
*	server: add mapservice GET endpoint	stuebinm	2022-02-16	1	-4/+9
\|
*	internal state: sort according to org	stuebinm	2022-02-16	1	-5/+8
\| \| \| \|	(also, more lenses i guess)
*	server: repositores & orgs fixed in config	stuebinm	2022-02-16	1	-62/+60
\| \| \| \|	a very simple setup that might be usable for divoc and similar small events
*	… several hours of fighting with TOML later	stuebinm	2022-02-16	1	-12/+16
\| \| \| \| \| \|	WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
*	server: switch to universum prelude, some cleanup	stuebinm	2022-02-15	1	-51/+49
\| \| \| \|	it's slightly less of a mess than it was before
*	server: added (somewhat) sensible logging	stuebinm	2022-02-12	1	-20/+34
\| \| \| \|	it's not very sensible, but at least it exists
*	server: more debug output	stuebinm	2022-02-11	1	-1/+1
\|
*	server: admin interface	stuebinm	2022-02-11	1	-4/+10
\| \| \| \|	(for now, just a list of all maps and their current status)
*	server: simple servant-lucid stuff	stuebinm	2022-02-10	1	-7/+18
\|
*	server: simple toml config	stuebinm	2022-02-07	1	-3/+2
\|
*	server: proper job handling	stuebinm	2022-02-07	1	-18/+24
\| \| \| \| \|	Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
*	non-blocking server	stuebinm	2022-02-07	1	-24/+21
\|
*	basic server setup (using servant)	stuebinm	2022-02-01	1	-0/+74
	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 …