New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ideas to improve GitHub integration #1674
Comments
@ocaisa I enhanced the description a bit, to include other ideas to make Let's make this a project issue to track ideas/feature requests for |
although not all boxes are checked here yet, the support for the remaining things to implement will be enhancements to what is supported already, there should be no changes in semantics of the existing functionality of |
I've enhanced this a bit to include other ideas for improving the GitHub integration beyond |
Would be nice if --new-pr would automatically include any required patch files. |
Ideas to make
--new-pr
smarter:also include patch files in --new-pr and --update-pr #1852)handle deleted files in --new-pr #1853)--robot
) (add support for combining --new-pr/--update-pr and --robot #1881)--sync-pr
, to (try to) sync a specific PR with currentdevelop
--sync-pr-with-branch
--merge-pr
, to merge a specified PR, but only after running a couple of checks (e.g. target branch, code review (lgtm
), successful test report, etc.)eb
--search-pr
, for searching pull requests for updates of a particular software package (title-only (fast), or actual contents (slow))The text was updated successfully, but these errors were encountered: