walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	server: write out adjusted maps	stuebinm	2022-03-19	4	-23/+52
*	switch to universum prelude	stuebinm	2022-03-19	3	-4/+8
*	sprinkle some NFData everywhere	stuebinm	2022-03-19	3	-7/+14
*	server: remove a thunk leak	stuebinm	2022-03-19	3	-21/+33
*	server: exneuland wants a token, apparently	stuebinm	2022-03-19	2	-19/+16
*	server: post map updates to exneuland's API	stuebinm	2022-03-19	2	-19/+65
*	server: remove cli-git, cli-extras	stuebinm	2022-03-19	2	-38/+56
*	server: add mapservice GET endpoint	stuebinm	2022-03-19	5	-57/+71
*	internal state: sort according to org	stuebinm	2022-03-19	5	-41/+82
*	server: repositores & orgs fixed in config	stuebinm	2022-03-19	5	-198/+231
*	… several hours of fighting with TOML later	stuebinm	2022-03-19	3	-70/+101
*	server: switch to universum prelude, some cleanup	stuebinm	2022-03-19	4	-138/+129
*	server: added (somewhat) sensible logging	stuebinm	2022-03-19	2	-27/+42
*	server: more debug output	stuebinm	2022-03-19	1	-1/+1
*	server: admin interface	stuebinm	2022-03-19	4	-64/+117
*	server: present lint results in pretty html	stuebinm	2022-03-19	2	-47/+124
*	server: simple servant-lucid stuff	stuebinm	2022-03-19	3	-8/+95
*	server: simple toml config	stuebinm	2022-03-19	2	-17/+39
*	server: proper job handling	stuebinm	2022-03-19	3	-67/+110
*	non-blocking server	stuebinm	2022-03-19	4	-88/+126
*	basic server setup (using servant)	stuebinm	2022-03-19	3	-0/+179