github-bot topic
rebasebot
A GitHub bot that rebases your branches
Hamster
🐀 A Bot toolkit for github that supports OAuth, Events, API, Custom Commands and Check Runs.
git3po
Automatically comments, labels, and closes GitHub issues according to a configurable set of filters.
Miro
MIRO - Merge it robot!
ohmyzsh-bot
A bot to manage the ohmyzsh project
auto-comment
A GitHub App built with Probot that automatically comments on issues and pull requests based on configuration
aloba
🤖 [Myrmica Aloba 🐜] Bot: Add labels and milestone on pull requests and issues
lobicornis
🤖 [Myrmica Lobicornis 🐜] Bot: Update and Merge Pull Request