Stream: Coq devs & plugin devs

Topic: New Github Issue system

view this post on Zulip Emilio Jesús Gallego Arias (Jun 25 2021 at 12:56):

Coincidentally as a follow up of our issues / PR discussion last Wednesday, Github has announced a new issue system https://github.blog/2021-06-23-introducing-new-github-issues/

view this post on Zulip Emilio Jesús Gallego Arias (Jun 25 2021 at 12:57):

I didn't have time to look into it yet, but maybe it will help us.

Last updated: Jun 05 2023 at 09:01 UTC