02-16-2017, 02:04 AM
I'd like to propose a more strict handling of open pull requests: When a PR is opened it will be getting closed after one month if it didn't got merged until then. This keeps out old and untouched PRs and might even speed up the development process. We could add a notice to the PR template on github. Thoughts?