I also like the idea of stalebot, I don't know much about the state of Jenkins core, but stale PRs are frustrating and it's not hard to comment when the warning goes out.
-- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/57c20354-9beb-43c4-8000-2e122c0dd548%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
