PR/Issue housekeeping: Find an automated solution (bot)

[Nicolai]

Let’s find and propose an automated solution (bot) that can comment and give notice before closing old / stale stuff.

https://www.geeksforgeeks.org/making-a-github-bot/

https://probot.github.io/apps/stale/