Stream: Coq devs & plugin devs

Topic: Github discussion


view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2023 at 17:23):

Hi folks, I'm opening a topic here as not to spam ocaml's github.

Context is https://github.com/ocaml/ocaml/discussions/11961#discussioncomment-4789408

Answering to @Théo Zimmermann , indeed the treading setup is very interesting! Tho I bet that the moment we activate discussion in Coq they put that feature in issues too hehe.

Anyways, for more context, there was some discussion in the OCaml community about how to improve maintenance, (cc https://discuss.ocaml.org/t/maintenance-bottlenecks-in-the-compiler-distribution/11045 ) , so maybe we could discuss in a Coq Call about the things that have been done there and if they could be relevant to Coq.

view this post on Zulip Ali Caglayan (Jan 26 2023 at 18:19):

Plus sides:

Downsides:

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2023 at 18:24):

When we transfer to issues back and forth a new number is created tho.

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2023 at 18:24):

Yeah threads is a big advantage, my question if github plans to add threads to issues

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2023 at 18:24):

Would be good to figure it out, I'll google a bit

view this post on Zulip Théo Zimmermann (Jan 26 2023 at 21:38):

Yes, they do IIRC.

view this post on Zulip Théo Zimmermann (Jan 26 2023 at 21:39):

I was expecting to find a trace here https://github.com/github/roadmap, but I couldn't though.


Last updated: Mar 03 2024 at 16:02 UTC