There are still non-team entries in codeowners:
/tools/coq_tex* @silene # Secondary maintainer @gares /test-suite/complexity/ @herbelin
is that intended?
Not really intended, just a lack of inspiration when creating the codeowner teams.
In particular, I wondered about the future of
coq_tex now that we have coqrst for the manual (and Alectryon for the outside world).
Last updated: Dec 01 2023 at 04:01 UTC