Maintained repo status not in sync
lsf37 opened this issue · comments
The list on https://docs.sel4.systems/processes/release-process.html does not reflect reality:
- arm-vm-manifest is archived
- mcs-examples is not in CI or tagged
- does sel4webserver have CI?
- sel4tutorials is not a manifest repo