Add an `(archived)` label to the repos that are archived on this index: https://uniclogs-docs.readthedocs.io/en/latest/software/index.html Add the https://github.com/uniclogs/yamcs repo to the index.
Add an
(archived)label to the repos that are archived on this index: https://uniclogs-docs.readthedocs.io/en/latest/software/index.htmlAdd the https://github.com/uniclogs/yamcs repo to the index.