How to close an issue that won't happen?
27 Oct
2021
27 Oct
'21
12:11 a.m.
Issue #20370 is not going to happen. I have added a comment of explanation, and it's time for me to close the issue. What label, if any, should I put on the issue to indicate that it describes a direction we've decided not to pursue? Norman
27 Oct
27 Oct
12:27 a.m.
Norman Ramsey <nr@cs.tufts.edu> writes:
Issue #20370 is not going to happen. I have added a comment of explanation, and it's time for me to close the issue. What label, if any, should I put on the issue to indicate that it describes a direction we've decided not to pursue?
No need to add a label. Just close with a comment explaining the reason for closure. Cheers, - Ben
1731
Age (days ago)
1731
Last active (days ago)
1 comments
2 participants
participants (2)
-
Ben Gamari -
Norman Ramsey