Ali Caglayan (Sep 27 2021 at 08:40): Ali Caglayan (Sep 27 2021 at 08:40):@Emilio Jesús Gallego Arias suggested a few months ago that we should organize a bug squashing party to process some issues more systematically. Is anybody interested in helping out? I suppose looking through unlabelled issues is a good start?
Emilio Jesús Gallego Arias (Sep 27 2021 at 18:51):Hi @Ali Caglayan , indeed that'd be great, thanks for the reminder; I guess we should open a wiki page, announce, and select a data? We could also do a small "Hackcoqton" at the same than the BTS
Indeed I guess a good start is to sort issues out, but maybe we can get in touch with people that have done similar BSP? One topic of the BSP could be actually a bit of a meta session to discuss how to organize.
The hackaton I like, because we could stream some "introduction to Coq hacking" , which would help people trying to address bugs later on
Ali Caglayan (Sep 28 2021 at 10:57):Perhaps we should bring it up at the coq call?
Emilio Jesús Gallego Arias (Sep 28 2021 at 14:59):Sure, let's do it
Ali Caglayan (Sep 29 2021 at 23:21):I've done some labelling today. We had >400 unlabelled issues, now we are at ~260. Hopefully this helps finding issues to focus on.
Ali Caglayan (Jan 10 2022 at 22:38):Alright, I've managed to label every issue for the time being. We now have 0 unlabeled issues. This is in preparation for doing some bug squashing.
Last updated: Dec 05 2023 at 05:01 UTC