Topic: github issues
Yury G. Kudryashov (Mar 13 2020 at 01:20):
Currently it's hard to tell if someone already works on some issue. Of course, one can ask here, but I don't feel that it's an optimal situation. What do you think about the following rule: when someone starts working on a project that is going to take >1-2 days, it is advised to open a github issue with a very brief description of the planned changes, and self-assign it?
Yury G. Kudryashov (Mar 13 2020 at 01:21):
with minimal content of the issue being title + link to the branch.
Johan Commelin (Mar 13 2020 at 05:26):
I think it's a good idea to encourage this.
Johan Commelin (Mar 13 2020 at 05:27):
Also, if people stop working on the project (for whatever reason), they should mention it, and deassign themselves.
Yury G. Kudryashov (Mar 13 2020 at 06:24):
Sometimes it's hard to tell "I no longer work on this"; "I postponed this" sounds much better.
Last updated: May 11 2021 at 14:11 UTC