pull-requests
Here are 60 public repositories matching this topic...
Reduce maintainer fatigue by automating GitHub
-
Updated
Apr 9, 2024 - Go
A command line tool to manage stacked PRs with Aviator
-
Updated
Nov 23, 2024 - Go
Next generation pull requests and issues 🦄
-
Updated
Nov 12, 2024 - Go
Pull Request Manager for Maintainers
-
Updated
Nov 14, 2024 - Go
Command line utility for creating GitHub comments on Commits, Pull Request Reviews or Issues
-
Updated
Nov 17, 2024 - Go
Label manager for PRs and Issues based on configurable conditions
-
Updated
Nov 22, 2024 - Go
convert a github issue into a pull request
-
Updated
Mar 27, 2024 - Go
⚡ A single command to quickly open current PR in browser. Supports GitHub and GitLab.
-
Updated
Nov 13, 2024 - Go
🔨 GitHub Action to close issues related to the merge of a pull request.
-
Updated
Jul 25, 2024 - Go
GitHub Action to lint and validate pull requests submitted to your repository. Keep your pull requests clean 🚀
-
Updated
Nov 22, 2024 - Go
A 🤖 to improve pull request quality.
-
Updated
Jun 1, 2023 - 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
Effective Code Coverage Tracking and Dashboard.
-
Updated
Apr 25, 2023 - Go
ghdag is a tiny workflow engine for GitHub issue and pull request.
-
Updated
Feb 10, 2022 - Go
🤖 [Myrmica Aloba 🐜] Bot: Add labels and milestone on pull requests and issues
-
Updated
Mar 16, 2023 - Go
Improve this page
Add a description, image, and links to the pull-requests topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pull-requests topic, visit your repo's landing page and select "manage topics."