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.
When we transfer to issues back and forth a new number is created tho.
Yeah threads is a big advantage, my question if github plans to add threads to issues
Would be good to figure it out, I'll google a bit
Yes, they do IIRC.
I was expecting to find a trace here https://github.com/github/roadmap, but I couldn't though.
Last updated: Jun 05 2023 at 10:01 UTC