Ali Caglayan (Jul 06 2021 at 23:04): Ali Caglayan (Jul 06 2021 at 23:04):There are currently ~600 issues without labels. Can I help label them? https://github.com/coq/coq/issues?q=is%3Aissue+is%3Aopen+no%3Alabel
Théo Zimmermann (Jul 07 2021 at 07:54):Yes @Ali Caglayan. Thank you for proposing your help!
Théo Zimmermann (Jul 07 2021 at 07:55):You can put part: labels to indicate the component (and even create new part: labels if components are missing).
Théo Zimmermann (Jul 07 2021 at 07:56):You can put kind: labels to indicate the nature e.g. kind: bug or kind: enhancement + kind: wish.
Théo Zimmermann (Jul 07 2021 at 07:56):You can use needs: labels in case information is missing or action is needed, e.g. needs: feedback / needs: answer / needs: triage.
Théo Zimmermann (Jul 07 2021 at 08:01):I've invited you to join our Contributors team so that you have write access to the Coq repository. Note that beyond the ability to add or remove labels, it also gives you the ability to close / reopen issues or adding / removing milestones.
Théo Zimmermann (Jul 07 2021 at 08:02):Closing issues is the thing to do if you notice that a bug has been resolved in recent Coq versions.
Théo Zimmermann (Jul 07 2021 at 08:04):It also gives you the ability to edit comments from anyone, which can be useful to add formatting (e.g. code blocks) or to update the top post with new information (e.g., if you could reproduce in a more recent version of Coq).
Théo Zimmermann (Jul 07 2021 at 08:05):Finally, because of a limitation of GitHub, it also gives you the power of accidentally pushing new branches to the Coq repository. So watch out and avoid doing this, as we prefer the main repo to only contain "official" branches (master and release branches).
Ali Caglayan (Jul 07 2021 at 09:22):@Théo Zimmermann I don't see an invitation on github, I should just receive a notification right?
Théo Zimmermann (Jul 07 2021 at 09:22):No, I think you should get an e-mail. But you can also go to https://github.com/coq and you should see an invitation.
Ali Caglayan (Jul 07 2021 at 09:24):Ah excellent, thanks!
Emilio Jesús Gallego Arias (Jul 07 2021 at 09:40):@Ali Caglayan indeed any issue triaging is super welcome, thanks! I do think tho that we could benefit a bit of a more organized effort, in the spirit of Debian's Bug Squashing Parties, so indeed maybe we should try to organize one some day, wdyt?
Ali Caglayan (Jul 07 2021 at 09:47):That sounds like a great idea! I would be willing to help out.
Théo Zimmermann (Jul 07 2021 at 10:21):Yeah I agree. Such a coordinated event would also be useful because people could discuss together when they are not sure what to do with a bug, and this could help share expertise and ideas.
Théo Zimmermann (Jul 07 2021 at 10:22):BTW, something else that you can do is remove assignees when these do not make sense anymore (e.g. they were imported from the Bugzilla system 4 years ago) or ping the people who self-assign to ask them if they still intend to tackle the bug or should remove their assignments.
Ali Caglayan (Jul 07 2021 at 10:31):Is it generally worth removing the assignees added by coqbot?
Ali Caglayan (Jul 07 2021 at 10:32):I've seen quite a few of those.
Théo Zimmermann (Jul 07 2021 at 11:59):Yes, it was probably a mistake to keep the assignees from Bugzilla.
Gaëtan Gilbert (Jul 09 2021 at 07:08):when closing issues which got solved at some point it may be worth considering adding a test
Ali Caglayan (Jul 09 2021 at 12:21):I've added issues I've recently closed to the test-suite https://github.com/coq/coq/pull/14627
Ali Caglayan (Jul 10 2021 at 14:30):@Théo Zimmermann Should I create a needs: minimal example label for issues that need a minimal reproducible example? This might also be useful for coqbot.
Gaëtan Gilbert (Jul 10 2021 at 15:58):you should request review from coq/test-suite-maintainers when you open PRs adding tests (separately from the fix)
Théo Zimmermann (Jul 10 2021 at 20:43):Ali Caglayan said:
Théo Zimmermann Should I create a
needs: minimal examplelabel for issues that need a minimal reproducible example? This might also be useful for coqbot.
Yes, that sounds like a good idea. More generally feel free to create any label that you feel is missing, especially if they belong to existing categories.
Gaëtan Gilbert (Jul 10 2021 at 20:46):does needs: minimal example mean the current example is too big or that there is no current example?
Stéphane Desarzens (Jul 10 2021 at 20:52):Maybe needs: minimization? I think there the connotation would be clear, that an example already exists, but it is too large. Or needs: smaller example, who knows what the minimum actually is :)
Ali Caglayan (Jul 10 2021 at 22:44):I've created a needs: minimization label. I'll begin to use it.
Last updated: Sep 15 2024 at 12:01 UTC