Skip to content

Loosen relationship between jury-member and gitlab code owner in category-structure

Thomas Lemberger requested to merge (removed):loosen-jury-member-and-codeowner into main

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

Merge request reports