Re: How to close an issue that won't happen?

Norman Ramsey 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