repos

Top-level group for officially-supported projects, intended to offer CI runners, etc.