Ready to use Slack bot for lazy developers: start Jenkins jobs, watch Jira tickets, watch pull requests with AI support...
MIT License
github pull requests builder plugin for Jenkins
A (Coq Development Team) bot written in OCaml