GitHub Pull Request Rejection Bot

Using this tool, we effectively disable pull requests on KDE GitHub mirror repositories. When pull requests are disabled, any time a new one is opened it will immediately be closed by the bot.

This project is not affiliated with GitHub.com.