Emilio Jesús Gallego Arias (Jan 26 2023 at 17:23): 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.
Ali Caglayan (Jan 26 2023 at 18:19):Plus sides:
Downsides:
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.
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
Emilio Jesús Gallego Arias (Jan 26 2023 at 18:24):Would be good to figure it out, I'll google a bit
Théo Zimmermann (Jan 26 2023 at 21:38):Yes, they do IIRC.
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: Jun 05 2023 at 10:01 UTC