mbox series

[maintainer-tools,0/4] github-merge-pr: Misc patches

Message ID 20240706160725.3257906-1-hauke@hauke-m.de
Headers show
Series github-merge-pr: Misc patches | expand

Message

Hauke Mehrtens July 6, 2024, 4:07 p.m. UTC 
This adds support for my use case. ;-)

I want to do the operations which are affecting the remote manually.
Sometimes I am doing manual changes in between before merging the PR.

Hauke Mehrtens (4):
  github-merge-pr: Use GITHUB_TOKEN for API access
  github-merge-pr: Add option for no remote operations
  github-merge-pr: Add option to ignore .mergeable
  github-merge-pr: doc: Install extra git-filter-repo

 github-merge-pr.sh | 27 +++++++++++++++++++++++++--
 1 file changed, 25 insertions(+), 2 deletions(-)