Commits · 3bcc4a608e078733c210e8927421b255a6829cad · hub / walint

Apr 13, 2022
- mapserver: symlink outdirs to human-readable paths · 3bcc4a60
  stuebinm authored 3 years ago
  3bcc4a60
Apr 06, 2022
- server: expose jitsi rooms in maps list endpoint · 73e7a698
  stuebinm authored 3 years ago
  
  73e7a698
Apr 05, 2022
- server: less boring output for very successful maps · 72760b0f
  stuebinm authored 3 years ago
  72760b0f
Apr 03, 2022
- server: actually use git repository updates · f08c3dbf
  stuebinm authored 3 years ago
  f08c3dbf
- server: fix map paths in api · 1db21885
  stuebinm authored 3 years ago
  
  1db21885
Mar 28, 2022
- server: add a howto link · c4b4eb91
  stuebinm authored 3 years ago
  
  c4b4eb91
- server: show helpful information for result · 82082e8b
  stuebinm authored 3 years ago
  82082e8b
Mar 23, 2022
- server: add a "panic i'm on a train"-offline mode · ac96dea6
  stuebinm authored 3 years ago
  ac96dea6
Mar 20, 2022
- server: use fdp as dot layout mode · 8c023513
  stuebinm authored 3 years ago
  8c023513
- server: better html output · 744e19db
  stuebinm authored 3 years ago
  
  744e19db
- server: keep (one) last good result per repo · f72855ea
  stuebinm authored 3 years ago
  f72855ea
Mar 19, 2022
- remove leftover rc3 things & some new stuff · dbf2253d
  stuebinm authored 3 years ago
  dbf2253d
- server: fix an annoying space · 29e2e957
  stuebinm authored 3 years ago
  
  29e2e957
- server: small html improvements · df7028c7
  stuebinm authored 3 years ago
  df7028c7
- server: don't hardcode the websocket domain/protocol · ab67f068
  stuebinm authored 3 years ago
  
  ab67f068
- server: websocket for updates & auto-reload · 6f1be3e8
  stuebinm authored 3 years ago
  6f1be3e8
- server: add a very simple relint button · 7da030ea
  stuebinm authored 3 years ago
  
  7da030ea
- mapserver: somewhat more decent logging · 508da680
  stuebinm authored 3 years ago
  
  508da680
- server: write out adjusted maps · b7c0cd8f
  stuebinm authored 3 years ago
  
  b7c0cd8f
- switch to universum prelude · 52bf0fa6
  stuebinm authored 3 years ago
  52bf0fa6
- sprinkle some NFData everywhere · 53fb449b
  stuebinm authored 3 years ago
  53fb449b
- server: remove a thunk leak · 252a4a3e
  stuebinm authored 3 years ago
  252a4a3e
- server: exneuland wants a token, apparently · 1ff03848
  stuebinm authored 3 years ago
  
  1ff03848
- server: post map updates to exneuland's API · cc52022f
  stuebinm authored 3 years ago
  
  cc52022f
- server: remove cli-git, cli-extras · 8272b6f1
  stuebinm authored 3 years ago
  8272b6f1
- server: add mapservice GET endpoint · ff8eeb13
  stuebinm authored 3 years ago
  
  ff8eeb13
- internal state: sort according to org · 410151c8
  stuebinm authored 3 years ago
  410151c8
- server: repositores & orgs fixed in config · 3e002615
  stuebinm authored 3 years ago
  3e002615
- … several hours of fighting with TOML later · ac81f4a1
  stuebinm authored 3 years ago
  ac81f4a1
- server: switch to universum prelude, some cleanup · c69c90f3
  stuebinm authored 3 years ago
  c69c90f3
- server: added (somewhat) sensible logging · be108900
  stuebinm authored 3 years ago
  be108900
- server: more debug output · 4fb5d083
  stuebinm authored 3 years ago
  
  4fb5d083
- server: admin interface · 89ccd9e9
  stuebinm authored 3 years ago
  89ccd9e9
- server: present lint results in pretty html · 0d2ba6d9
  stuebinm authored 3 years ago
  0d2ba6d9
- server: simple servant-lucid stuff · cdb6329b
  stuebinm authored 3 years ago
  
  cdb6329b
- server: simple toml config · a55e0ce9
  stuebinm authored 3 years ago
  
  a55e0ce9
- server: proper job handling · f10f80a2
  stuebinm authored 3 years ago
  f10f80a2
- non-blocking server · 24e5ccd9
  stuebinm authored 3 years ago
  
  24e5ccd9
- basic server setup (using servant) · 9e3783d0
  stuebinm authored 3 years ago
  9e3783d0