walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Files	Lines
2022-03-19	server: post map updates to exneuland's API	stuebinm	1	-1/+3

2022-03-19	server: remove cli-git, cli-extras	stuebinm	1	-2/+1
	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!
2022-03-19	internal state: sort according to org	stuebinm	1	-2/+1
	(also, more lenses i guess)
2022-03-19	server: repositores & orgs fixed in config	stuebinm	1	-1/+6
	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	-0/+1
	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	-2/+5
	it's slightly less of a mess than it was before
2022-03-19	server: added (somewhat) sensible logging	stuebinm	1	-13/+10
	it's not very sensible, but at least it exists
2022-03-19	server: present lint results in pretty html	stuebinm	1	-0/+1
	(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	-0/+3

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

2022-03-19	server: proper job handling	stuebinm	1	-0/+2
	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	-1/+2

2022-03-19	basic server setup (using servant)	stuebinm	1	-1/+21
	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 …
2022-03-19	use hpack and clean up modules	stuebinm	1	-0/+52
	as annoying as yaml is, cabal's package format is somehow worse, apparently