Stream: Coq devs & plugin devs

Topic: kind: infrastructure


view this post on Zulip Emilio Jesús Gallego Arias (Apr 08 2021 at 14:29):

Hi folks, it seems to me that the kind: infrastructure tag is a bit too general, should we phase it out in favor of more concrete ones?

cc: @Théo Zimmermann @Gaëtan Gilbert

view this post on Zulip Théo Zimmermann (Apr 08 2021 at 14:32):

Sounds good to me.

view this post on Zulip Emilio Jesús Gallego Arias (Apr 08 2021 at 14:35):

Ok thanks, I'll review tag uses and come up with a proposal here.


Last updated: Oct 21 2021 at 21:03 UTC