summaryrefslogtreecommitdiff
path: root/server/Worker.hs (unfollow)
Commit message (Expand)AuthorFilesLines
2022-03-06server: add a very simple relint buttonstuebinm1-3/+4
2022-03-03mapserver: somewhat more decent loggingstuebinm1-18/+23
2022-02-25server: write out adjusted mapsstuebinm1-5/+21
2022-02-18switch to universum preludestuebinm1-2/+3
2022-02-17sprinkle some NFData everywherestuebinm1-0/+1
2022-02-17server: remove a thunk leakstuebinm1-2/+3
2022-02-16server: remove cli-git, cli-extrasstuebinm1-34/+52
2022-02-16server: add mapservice GET endpointstuebinm1-4/+8
2022-02-16internal state: sort according to orgstuebinm1-1/+1
2022-02-16server: repositores & orgs fixed in configstuebinm1-0/+73