Skip to content

projects.json: Ensure all repo names are correct

Ahmon Dancy requested to merge main-I1d7fcc1b06b2de6b793fd96f9bdcd2cd29dfe6c9 into main

Fixed the 'name' field of some project entries to ensure that they
contain the full project path.

Merge request reports