@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?
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
Perhaps we should bring it up at the coq call?
Sure, let's do it
I've done some labelling today. We had >400 unlabelled issues, now we are at ~260. Hopefully this helps finding issues to focus on.
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