Skip to content

Operate using project paths, not project ids

Ahmon Dancy requested to merge main-Ic120dbb19a73a0481aa54b1686742c05b811b09c into main

Change projects.json and add-project.py to operate based on project
paths, not project ids. This should be less error prone and requires
less information in projects.json.

Merge request reports