index
:
walint
main
playground
structured-badges
A linter for workadventure maps
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
switch to universum prelude
stuebinm
2022-02-18
24
-287
/
+279
*
sprinkle some NFData everywhere
stuebinm
2022-02-17
11
-39
/
+61
*
server: remove a thunk leak
stuebinm
2022-02-17
4
-22
/
+34
*
update nix build system
stuebinm
2022-02-16
2
-4
/
+4
*
server: exneuland wants a token, apparently
stuebinm
2022-02-16
3
-19
/
+17
*
server: post map updates to exneuland's API
stuebinm
2022-02-16
5
-20
/
+71
*
server: remove cli-git, cli-extras
stuebinm
2022-02-16
4
-42
/
+58
*
server: add mapservice GET endpoint
stuebinm
2022-02-16
6
-57
/
+75
*
internal state: sort according to org
stuebinm
2022-02-16
7
-45
/
+84
*
server: repositores & orgs fixed in config
stuebinm
2022-02-16
8
-199
/
+245
*
… several hours of fighting with TOML later
stuebinm
2022-02-16
6
-71
/
+115
*
server: switch to universum prelude, some cleanup
stuebinm
2022-02-15
10
-146
/
+1186
*
add haskell.nix build system
stuebinm
2022-02-12
5
-4
/
+57
*
don't fail compilation if git is unavailable
stuebinm
2022-02-12
1
-1
/
+3
*
server: added (somewhat) sensible logging
stuebinm
2022-02-12
4
-66
/
+75
*
server: more debug output
stuebinm
2022-02-11
1
-1
/
+1
*
server: admin interface
stuebinm
2022-02-11
5
-65
/
+118
*
server: present lint results in pretty html
stuebinm
2022-02-11
11
-47
/
+2359
*
server: simple servant-lucid stuff
stuebinm
2022-02-10
8
-12
/
+111
*
server: simple toml config
stuebinm
2022-02-07
5
-17
/
+49
*
server: proper job handling
stuebinm
2022-02-07
5
-67
/
+114
*
non-blocking server
stuebinm
2022-02-07
6
-94
/
+134
*
basic server setup (using servant)
stuebinm
2022-02-01
7
-3
/
+274
*
use hpack and clean up modules
stuebinm
2022-01-15
14
-156
/
+228
*
playing around with types
stuebinm
2022-01-02
4
-1
/
+40
*
use url package for parsing of urls
jonny
2022-01-02
3
-13
/
+32
*
fixed url injection by means of starting an url with "." and turning the pref...
jonathan
2022-01-02
1
-1
/
+1
*
script links can't contain @
stuebinm
2022-01-02
1
-1
/
+3
*
open BBBs in new Tab so that they work now :/
tabascoeye
2022-01-02
1
-2
/
+2
*
wa gets an extra ausgang
stuebinm
2022-01-02
1
-1
/
+1
*
SECURITY: Fix path traversal in script verification
Serge Bazanski
2022-01-02
1
-2
/
+3
*
fix bbb urls a second time …
stuebinm
2022-01-02
1
-5
/
+1
*
warn if main.json does not link back to lobby
stuebinm
2022-01-02
1
-6
/
+13
*
allow live.dort.c3voc.de for audio
stuebinm
2022-01-02
1
-1
/
+1
*
I would like to show the fahrplan in an iframe. Please allow
tabascoeye
2022-01-02
1
-1
/
+1
*
fix bbb url resolution
stuebinm
2022-01-02
1
-1
/
+1
*
allow *.streamproxy.rc3.world
stuebinm
2022-01-02
1
-1
/
+2
*
type systems don't protect against off-by-one
stuebinm
2022-01-02
1
-1
/
+1
*
urlencode dereferrer links
stuebinm
2022-01-02
2
-3
/
+4
*
openWebsiteTriggerMessage can also be used for openTab
stuebinm
2022-01-02
1
-2
/
+8
*
Allow to copy sounds for custom JS with ObjectProperty `loadSound`
Sven G. Brönstrup
2021-12-26
1
-1
/
+1
*
separate blocking for separate contexts
stuebinm
2021-12-26
5
-32
/
+56
*
missing entrypoints can be non-fatal
stuebinm
2021-12-26
1
-7
/
+8
|
\
|
*
index on main: ee61cc5 change lint msg for property suggestions
stuebinm
2021-12-26
0
-0
/
+0
|
/
*
change lint msg for property suggestions
stuebinm
2021-12-26
1
-1
/
+1
*
allow cdn.c3voc.de for audio streams
stuebinm
2021-12-25
1
-2
/
+2
*
add lint if people set tilesetCopyright on tiles
stuebinm
2021-12-25
1
-0
/
+2
*
whoops, forgot to delete an output field and now it's in the hub
stuebinm
2021-12-25
1
-1
/
+0
*
attempt to fix curl pipeline
stuebinm
2021-12-25
1
-2
/
+1
*
apply some hlint hints
stuebinm
2021-12-25
1
-3
/
+3
[next]