walint - A linter for workadventure maps

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