A flexible web server for reacting GitHub Webhooks