The source project of this merge request has been removed.
Loosen relationship between jury-member and gitlab code owner in category-structure
Rename category-structure property 'gitlab' to 'code-owner', move up one level in hierarchy. While we're at it, I also added sanghu1790 as additional codeowner for TracerX - I think this was intended?
I'd love to also do the structural changes for sv-comp/bench-defs/
, but GitLab currently reports an error when I try to fork the repository.
At the moment, you can produce the changes by running:
sed -i 's/ gitlab: /code-owner: /' category-structure.yml