walint - A linter for workadventure maps

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