Thanks for doing this Stefan. The fact that PRs are abandoned and piling up on github demonstrates a hygiene problem and creates a bad user experience to newcomers which are accustomed to the Github workflow. I'm supportive of any initiative to improve this
I think starting labelling PRs manually and then looking into ways to automate this would be a good improvement from the status quo.
