github issues

Stream: general

[Yury G. Kudryashov]

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]

with minimal content of the issue being title + link to the branch.

[Johan Commelin]

I think it's a good idea to encourage this.

[Johan Commelin]

Also, if people stop working on the project (for whatever reason), they should mention it, and deassign themselves.

[Yury G. Kudryashov]

Sometimes it's hard to tell "I no longer work on this"; "I postponed this" sounds much better.