GitHub App to keep PR branches up to date automatically.
-
Updated
May 27, 2024 - Go
GitHub App to keep PR branches up to date automatically.
A Github operation bot that helps you prevent merge skew/semantic merge conflicts so your master branch stays always green
π Automated GitHub pull request comments from CI
A lambda function that parses the Changelog Nightly page and upload a JSON file with the URLs to Github.
Github bot that automatically reviews LURE repo contributions
ping authors on issues/PR which got forgotten with arsenio bot
π€ [Chalepoxenus Kutteri π] Bot: Track a GitHub repository and publish on Slack
Automatic GitHub Pull Request quality checks
π€ [Myrmica Bibikoffi π] Bot: Closes stale issues
π€ [Lasius Mixtus π] Bot: Publish Documentation to a GitHub Repository from another
Bot adding labels to GitHub issues which allows easy finding of issues with a missing answer
π€ [Myrmica Gallienii π] Bot: Keep Forks Synchronized
Set of plugins for Prow automation platform
ππ€ A Github bot to help with Open-Source license conformence
π€ [Myrmica Aloba π] Bot: Add labels and milestone on pull requests and issues
A GitHub app which runs checks for flagged terminology in GitHub repos
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."