walint - A linter for workadventure maps

	Commit message (Expand)	Author	Age	Files	Lines
*	universum's microlens exports are deprecated	stuebinm	7 days	1	-21/+23
*	a year went by	stuebinm	2023-10-24	1	-4/+2
*	code formatter	stuebinm	2022-10-11	1	-4/+4
*	use template haskell aeson, not generics	stuebinm	2022-10-11	1	-4/+4
*	server: less boring output for very successful maps	stuebinm	2022-04-05	1	-8/+16
*	server: add a howto link	stuebinm	2022-03-28	1	-2/+4
*	server: show helpful information for result	stuebinm	2022-03-28	1	-22/+49
*	server: use fdp as dot layout mode	stuebinm	2022-03-20	1	-17/+19
*	server: better html output	stuebinm	2022-03-20	1	-5/+7
*	server: keep (one) last good result per repo	stuebinm	2022-03-20	1	-1/+1
*	server: fix an annoying space	stuebinm	2022-03-19	1	-2/+1
*	server: small html improvements	stuebinm	2022-03-19	1	-3/+6
*	server: don't hardcode the websocket domain/protocol	stuebinm	2022-03-19	1	-1/+2
*	server: websocket for updates & auto-reload	stuebinm	2022-03-19	1	-14/+29
*	server: add a very simple relint button	stuebinm	2022-03-19	1	-2/+16
*	switch to universum prelude	stuebinm	2022-03-19	1	-1/+1
*	sprinkle some NFData everywhere	stuebinm	2022-03-19	1	-2/+1
*	server: add mapservice GET endpoint	stuebinm	2022-03-19	1	-4/+4
*	internal state: sort according to org	stuebinm	2022-03-19	1	-12/+13
*	server: repositores & orgs fixed in config	stuebinm	2022-03-19	1	-11/+13
*	server: switch to universum prelude, some cleanup	stuebinm	2022-03-19	1	-26/+20
*	server: admin interface	stuebinm	2022-03-19	1	-0/+177