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: Oct 16 2021 at 07:02 UTC