walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	server: write out adjusted maps	stuebinm	2022-03-19	1	-5/+21
\|
*	switch to universum prelude	stuebinm	2022-03-19	1	-2/+3
\| \| \| \|	also don't keep adjusted maps around if not necessary
*	sprinkle some NFData everywhere	stuebinm	2022-03-19	1	-0/+1
\| \| \| \|	(also some evaluateNF, leading to slightly less memory usage)
*	server: remove a thunk leak	stuebinm	2022-03-19	1	-2/+3
\| \| \| \| \|	(really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained)
*	server: remove cli-git, cli-extras	stuebinm	2022-03-19	1	-34/+52
\| \| \| \| \| \| \| \|	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-03-19	1	-4/+8
\|
*	internal state: sort according to org	stuebinm	2022-03-19	1	-1/+1
\| \| \| \|	(also, more lenses i guess)
*	server: repositores & orgs fixed in config	stuebinm	2022-03-19	1	-0/+73
	a very simple setup that might be usable for divoc and similar small events