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
More generally, we should devise a system to reconsider issue assignment after a while without activity.
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