Stream: Coq devs & plugin devs

Topic: Bug squashing party


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Ali Caglayan (Sep 28 2021 at 10:57):

Perhaps we should bring it up at the coq call?

view this post on Zulip Emilio Jesús Gallego Arias (Sep 28 2021 at 14:59):

Sure, let's do it

view this post on Zulip 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.

view this post on Zulip 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: Feb 01 2023 at 16:03 UTC