GitHub Pull Request Auto-Merge Bot
-
Updated
Jun 30, 2025 - Go
GitHub Pull Request Auto-Merge Bot
A helpful operation bot for GitHub. This helps to assign a reviewer, to merge a pull request, and to notify an unmergeable pull request with a comment as a command interactively.
🐀 A Bot toolkit for github that supports OAuth, Events, API, Custom Commands and Check Runs.
A github bot that monitors repository PRs, rebases them and merges them as they pass tests
🤖 [Myrmica Lobicornis 🐜] Bot: Update and Merge Pull Request
A GitHub app which runs checks for flagged terminology in GitHub repos
🤖 [Myrmica Aloba 🐜] Bot: Add labels and milestone on pull requests and issues
🐙🤖 A Github bot to help with Open-Source license conformence
Set of plugins for Prow automation platform
🤖 [Myrmica Gallienii 🐜] Bot: Keep Forks Synchronized
🤖 [Lasius Mixtus 🐜] Bot: Publish Documentation to a GitHub Repository from another
🤖 [Myrmica Bibikoffi 🐜] Bot: Closes stale issues
Github bot that automatically reviews LURE repo contributions
ping authors on issues/PR which got forgotten with arsenio bot
Automatic GitHub Pull Request quality checks
Add a description, image, and links to the github-bot topic page so that developers can more easily learn about it.
To associate your repository with the github-bot topic, visit your repo's landing page and select "manage topics."