Stream: Coq devs & plugin devs

Topic: old issue assignments


view this post on Zulip Gaëtan Gilbert (Aug 28 2020 at 14:01):

Should we keep the old issue assignments on coqbot-imported issues? https://github.com/coq/coq/issues?q=is%3Aopen+is%3Aissue+assignee%3A%2A+sort%3Aupdated-asc
AFAICT they're quite meaningless

One problem is that unassigning them would nuke the "recently updated" issue view, OTOH that's a temporary problem and I don't know if that view is used much

view this post on Zulip Théo Zimmermann (Aug 28 2020 at 16:00):

More generally, we should devise a system to reconsider issue assignment after a while without activity.

view this post on Zulip Théo Zimmermann (Aug 28 2020 at 16:01):

For instance, we could have the bot ask whether the assignment is still relevant and if there is an ETA.


Last updated: Oct 16 2021 at 09:07 UTC