Labels

Pull requests that update a dependency file

Pull requests that update docker code

Pull requests that update GitHub Actions code

Playable levels, map fixtures, and level content

Nouns, icons, sprites, and object-type support

Pull requests that update python code

Rule parsing and operator/property behavior