walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	server: remove cli-git, cli-extras	stuebinm	2022-02-16	2	-38/+56
\| \| \| \| \| \| \| \|	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	5	-57/+71
\|
*	internal state: sort according to org	stuebinm	2022-02-16	5	-41/+82
\| \| \| \|	(also, more lenses i guess)
*	server: repositores & orgs fixed in config	stuebinm	2022-02-16	5	-198/+231
\| \| \| \|	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	3	-70/+101
\| \| \| \| \| \|	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	4	-138/+129
\| \| \| \|	it's slightly less of a mess than it was before
*	server: added (somewhat) sensible logging	stuebinm	2022-02-12	2	-27/+42
\| \| \| \|	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	4	-64/+117
\| \| \| \|	(for now, just a list of all maps and their current status)
*	server: present lint results in pretty html	stuebinm	2022-02-11	2	-47/+124
\| \| \| \| \|	(this is mostly a rewrite / translation of the django templates built into rc3's hub)
*	server: simple servant-lucid stuff	stuebinm	2022-02-10	3	-8/+95
\|
*	server: simple toml config	stuebinm	2022-02-07	2	-17/+39
\|
*	server: proper job handling	stuebinm	2022-02-07	3	-67/+110
\| \| \| \| \|	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	4	-88/+126
\|
*	basic server setup (using servant)	stuebinm	2022-02-01	3	-0/+179
	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 …