This repository can be used to add contact to GitHub pages for namespaces within imcs-compsim that are currently not occupied. For example this can be used to define redirects.