GitHub Pull Request Auto-Merge Bot
-
Updated
Dec 18, 2024 - Go
#
github-bot
Here are 28 public repositories matching this topic...
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.
-
Updated
Dec 15, 2023 - Go
🐀 A Bot toolkit for github that supports OAuth, Events, API, Custom Commands and Check Runs.
-
Updated
Dec 4, 2024 - Go
A github bot that monitors repository PRs, rebases them and merges them as they pass tests
-
Updated
Aug 25, 2017 - Go
🤖 [Myrmica Lobicornis 🐜] Bot: Update and Merge Pull Request
-
Updated
Aug 30, 2024 - Go
A GitHub app which runs checks for flagged terminology in GitHub repos
-
Updated
Jan 19, 2024 - Go
🤖 [Myrmica Aloba 🐜] Bot: Add labels and milestone on pull requests and issues
-
Updated
Mar 16, 2023 - Go
🐙🤖 A Github bot to help with Open-Source license conformence
-
Updated
Jun 28, 2018 - Go
Set of plugins for Prow automation platform
-
Updated
Mar 6, 2023 - Go
🤖 [Myrmica Gallienii 🐜] Bot: Keep Forks Synchronized
-
Updated
Feb 21, 2023 - Go
Bot adding labels to GitHub issues which allows easy finding of issues with a missing answer
-
Updated
Jul 20, 2020 - Go
🤖 [Myrmica Bibikoffi 🐜] Bot: Closes stale issues
-
Updated
Mar 16, 2023 - Go
🤖 [Lasius Mixtus 🐜] Bot: Publish Documentation to a GitHub Repository from another
-
Updated
Apr 4, 2023 - Go
Github bot that automatically reviews LURE repo contributions
-
Updated
Nov 7, 2022 - Go
ping authors on issues/PR which got forgotten with arsenio bot
github bot graphql golang github-api performance google suse issue-tracker opensuse github-bot stale cobra github-app forg
-
Updated
Dec 2, 2018 - Go
Improve this page
Add a description, image, and links to the github-bot topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the github-bot topic, visit your repo's landing page and select "manage topics."