index
:
walint
main
playground
structured-badges
A linter for workadventure maps
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2022-04-07
linter: unless ain't the same as if
stuebinm
1
-1
/
+1
2022-04-06
linter: collect jitsi rooms of maps
stuebinm
4
-32
/
+45
2022-04-05
linter: whitespace confusing can be
stuebinm
1
-1
/
+1
2022-04-04
linter: collect content warnings
stuebinm
4
-6
/
+28
2022-03-30
remove unused module
stuebinm
1
-74
/
+0
2022-03-19
linter: some work on lints
stuebinm
1
-34
/
+41
2022-03-19
unbreak a very, very long rebase
stuebinm
5
-16
/
+14
2022-03-19
remove leftover rc3 things & some new stuff
stuebinm
4
-151
/
+183
2022-03-19
linter: allow unrestricted domain scopes
stuebinm
1
-8
/
+7
2022-03-19
linter: remove bbb-simulating code
stuebinm
1
-31
/
+3
2022-03-19
walint: yet more strictness
stuebinm
1
-2
/
+2
2022-03-19
make tiled stricter (and organise some imports)
stuebinm
6
-49
/
+46
2022-03-19
separate tiled modules out into own package
stuebinm
8
-491
/
+10
2022-03-19
server: write out adjusted maps
stuebinm
1
-1
/
+1
2022-03-19
switch to universum prelude
stuebinm
16
-274
/
+254
2022-03-19
sprinkle some NFData everywhere
stuebinm
6
-30
/
+46
2022-03-19
server: simple servant-lucid stuff
stuebinm
1
-2
/
+1
2022-03-19
use hpack and clean up modules
stuebinm
8
-23
/
+85
2022-03-19
playing around with types
stuebinm
1
-0
/
+29
2022-03-19
use url package for parsing of urls
jonny
2
-12
/
+30
2022-03-19
fixed url injection by means of starting an url with "." and turning the pref...
jonathan
1
-1
/
+8
2021-12-30
add dot language output for repository map graphs
stuebinm
2
-21
/
+48
2021-12-29
apparently people are using inter-assembly links internally??
stuebinm
1
-2
/
+15
2021-12-29
collides isn't unknown on tiles
stuebinm
1
-1
/
+2
2021-12-29
maps, maps, and yet more maps
stuebinm
6
-21
/
+50
2021-12-29
the lobby lacks reflexivity
stuebinm
1
-1
/
+2
2021-12-29
why aren't boolean values typechecked???
stuebinm
1
-1
/
+1
2021-12-29
tiles can also have properties like tile layers
stuebinm
3
-52
/
+79
2021-12-28
Update CheckMap.hs to make missing back link to lobby an ERROR
tabascoeye
1
-1
/
+1
2021-12-28
disallow more things in urls
stuebinm
1
-8
/
+1
2021-12-28
script links can't contain @
stuebinm
1
-1
/
+3
2021-12-28
open BBBs in new Tab so that they work now :/
tabascoeye
1
-2
/
+2
2021-12-27
SECURITY: Fix path traversal in script verification
Serge Bazanski
1
-2
/
+3
2021-12-27
fix bbb urls a second time …
stuebinm
1
-5
/
+1
2021-12-27
warn if main.json does not link back to lobby
stuebinm
1
-6
/
+13
2021-12-27
fix bbb url resolution
stuebinm
1
-1
/
+1
2021-12-27
allow *.streamproxy.rc3.world
stuebinm
1
-1
/
+2
2021-12-27
type systems don't protect against off-by-one
stuebinm
1
-1
/
+1
2021-12-27
urlencode dereferrer links
stuebinm
1
-2
/
+2
2021-12-26
openWebsiteTriggerMessage can also be used for openTab
stuebinm
1
-2
/
+8
2021-12-26
Allow to copy sounds for custom JS with ObjectProperty `loadSound`
Sven G. Brönstrup
1
-1
/
+1
2021-12-26
separate blocking for separate contexts
stuebinm
4
-25
/
+45
2021-12-26
change lint msg for property suggestions
stuebinm
1
-1
/
+1
2021-12-25
add lint if people set tilesetCopyright on tiles
stuebinm
1
-0
/
+2
2021-12-25
whoops, forgot to delete an output field and now it's in the hub
stuebinm
1
-1
/
+0
2021-12-25
apply some hlint hints
stuebinm
1
-3
/
+3
2021-12-25
the lobby is allowed to contain defunct links
stuebinm
1
-12
/
+15
2021-12-25
hint if people set collides on tilesets
stuebinm
1
-1
/
+2
2021-12-25
don't print doubled lints twice
stuebinm
2
-11
/
+11
2021-12-25
better lint message
stuebinm
1
-1
/
+1
[next]