Stream: Coq devs & plugin devs

Topic: coq_tex codeowner

view this post on Zulip Gaëtan Gilbert (Feb 28 2023 at 21:34):

why is coq_tex not using a team?

view this post on Zulip Théo Zimmermann (Mar 01 2023 at 09:10):

We didn't know at the time of introducing codeowner teams what the future of coq_tex was and if it should be handled as part of a larger existing team or have its own team, so nothing was done. Feel free to create a team and amend CODEOWNERS.

Last updated: Dec 05 2023 at 06:01 UTC