A github pull request monitoring bot, with middleware support