I'm further convinced (I was already pretty decided) that auto-closing issues/PRs is a bad idea. Searching for closed issues on a particular project, which auto-closes "stale" issues, and the search results are overwhelmed with issues which were closed without resolution. In this case they're at least labelled as such; but it's still a mess.