Element Web for leopard.chat / matrix.teckids.org
Ansible configuration repository for managing some, but not all aspects of the Teckids infrastructure
Deployment config for Teckids prod (trusted) EduGit runners