automatically closing stale pull requests

[tide]

On Tuesday, 16 October 2018 at 22:18:13 UTC, Walter Bright wrote:
> On 10/16/2018 1:16 PM, notna wrote:
>> [...]
>
> We're not going to automatically close stale pull requests, nor 
> are we going to arbitrarily close old unfixed bug reports.

Agreed, then there won't be those 5+ year old reports we can 
point to when an issue gets posted about on the forums and 
someone tells them to file a bug report.