GitHub Pull Request Auto-Merge Bot
-
Updated
Jul 5, 2024 - Go
GitHub Pull Request Auto-Merge Bot
GitHub App to keep PR branches up to date automatically.
🤖 [Myrmica Lobicornis 🐜] Bot: Update and Merge Pull Request
A GitHub app which runs checks for flagged terminology in GitHub repos
🐀 A Bot toolkit for github that supports OAuth, Events, API, Custom Commands and Check Runs.
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.
🤖 [Lasius Mixtus 🐜] Bot: Publish Documentation to a GitHub Repository from another
🤖 [Myrmica Aloba 🐜] Bot: Add labels and milestone on pull requests and issues
🤖 [Myrmica Bibikoffi 🐜] Bot: Closes stale issues
Set of plugins for Prow automation platform
🤖 [Myrmica Gallienii 🐜] Bot: Keep Forks Synchronized
Github bot that automatically reviews LURE repo contributions
🤖 [Chalepoxenus Kutteri 🐜] Bot: Track a GitHub repository and publish on Slack
A Github operation bot that helps you prevent merge skew/semantic merge conflicts so your master branch stays always green
Bot adding labels to GitHub issues which allows easy finding of issues with a missing answer
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."