GitHub Pull Request Auto-Merge Bot
-
Updated
Apr 1, 2025 - Go
GitHub Pull Request Auto-Merge Bot
🤖✅ GitHub App that creates new issues from actionable comments in your code.
🏊 A Github bot to keep repository forks up to date with their upstream.
@nodejs-github-bot's heart and soul
Bot for management of Ansible issues and PRs on GitHub.
A GitHub Follow Bot that utilizes Django's web framework and Python. The bot comes with many features, but please use at your own risk. The bot was made for educational purposes.
A ChatGPT bot to respond to your GitHub Issues
Yes it's true 💔, currently it has 117 stars ⭐ and 21 forks 🍴.
The most trusted Discord dev toolkit with 500k+ users ✨🚀
The bot which handles auto-merging your PRs
A Github bot for size-plugin
🤖 Automated follow/unfollow bot for GitHub. Follow from multiple sources. Choose which users to unfollow. Custom options to control bot speed and maximum actions.
The Big list of the github, open-source compilers.
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 Github search bot for Telegram
Plugin-based GitHub bot for ESLint
🤖 Invisible engine driving octobot machines. Simple, yet powerful. [DEMO BOT @ https://github.com/sanitizers/chronographer-github-app] | [tutorial @ https://tutorial.octomachinery.dev] | [docs @ https://docs.octomachinery.dev] | official web-site is at -->
Github Bot to find breaking changes in your schema.graphql
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."