summaryrefslogtreecommitdiff
path: root/server/Worker.hs (follow)
Commit message (Expand)AuthorAgeFilesLines
* server: websocket for updates & auto-reloadstuebinm2022-03-191-2/+26
* server: add a very simple relint buttonstuebinm2022-03-191-3/+4
* mapserver: somewhat more decent loggingstuebinm2022-03-191-18/+23
* server: write out adjusted mapsstuebinm2022-03-191-5/+21
* switch to universum preludestuebinm2022-03-191-2/+3
* sprinkle some NFData everywherestuebinm2022-03-191-0/+1
* server: remove a thunk leakstuebinm2022-03-191-2/+3
* server: remove cli-git, cli-extrasstuebinm2022-03-191-34/+52
* server: add mapservice GET endpointstuebinm2022-03-191-4/+8
* internal state: sort according to orgstuebinm2022-03-191-1/+1
* server: repositores & orgs fixed in configstuebinm2022-03-191-0/+73