Stream: Coq devs & plugin devs

Topic: non team codeowners


view this post on Zulip Gaëtan Gilbert (Oct 15 2021 at 14:19):

There are still non-team entries in codeowners:

/tools/coq_tex*        @silene
# Secondary maintainer @gares

/test-suite/complexity/ @herbelin

is that intended?

view this post on Zulip Théo Zimmermann (Oct 15 2021 at 14:22):

Not really intended, just a lack of inspiration when creating the codeowner teams.

view this post on Zulip Théo Zimmermann (Oct 15 2021 at 14:23):

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: Feb 01 2023 at 16:03 UTC