automatically closing stale pull requests

[Walter Bright]

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.