Gaëtan Gilbert (Aug 28 2020 at 14:01): 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
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.
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: Dec 05 2023 at 12:01 UTC