Repository Management Working Group

The Repository Management working group defines processes and infrastructure for hosting CHERI-related open-source projects. It maintains code repositories, issue trackers and contribution guidelines to ensure projects are managed transparently and sustainably. The group also works on continuous integration and release engineering to provide binary packages and container images for CHERI software【836580014068630†L152-L156】【836580014068630†L162-L250】.

Contributors with experience in DevOps, packaging and project governance are encouraged to participate.