summaryrefslogtreecommitdiff
path: root/server/Main.hs (unfollow)
Commit message (Expand)AuthorFilesLines
2022-03-06server: add a very simple relint buttonstuebinm1-11/+15
2022-03-03mapserver: somewhat more decent loggingstuebinm1-9/+7
2022-02-25server: write out adjusted mapsstuebinm1-11/+14
2022-02-17server: remove a thunk leakstuebinm1-15/+13
2022-02-16server: exneuland wants a token, apparentlystuebinm1-13/+7
2022-02-16server: post map updates to exneuland's APIstuebinm1-11/+44
2022-02-16server: remove cli-git, cli-extrasstuebinm1-4/+4
2022-02-16server: add mapservice GET endpointstuebinm1-4/+9
2022-02-16internal state: sort according to orgstuebinm1-5/+8
2022-02-16server: repositores & orgs fixed in configstuebinm1-62/+60
2022-02-16… several hours of fighting with TOML laterstuebinm1-12/+16
2022-02-15server: switch to universum prelude, some cleanupstuebinm1-51/+49
2022-02-12server: added (somewhat) sensible loggingstuebinm1-20/+34
2022-02-11server: more debug outputstuebinm1-1/+1
2022-02-11server: admin interfacestuebinm1-4/+10
2022-02-10server: simple servant-lucid stuffstuebinm1-7/+18
2022-02-07server: simple toml configstuebinm1-3/+2
2022-02-07server: proper job handlingstuebinm1-18/+24
2022-02-07non-blocking serverstuebinm1-24/+21
2022-02-01basic server setup (using servant)stuebinm1-0/+74
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 05:48:26 +0000