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?
https://github.com/coq/coq/blob/b07fa18b56346bbcd41b80285680545637e8d059/.github/CODEOWNERS#L250

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: Apr 19 2024 at 22:01 UTC