github-merge-pr: Add option for no remote operations
authorHauke Mehrtens <hauke@hauke-m.de>
Sat, 6 Jul 2024 16:07:23 +0000 (18:07 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Tue, 16 Jul 2024 17:09:37 +0000 (19:09 +0200)
commitb5d78394fc963606f935999688a40bd52504415e
tree551e0a9dab2c53866a58273204e6a24c0ab02fcf
parentc4163ec5c5159b82d423e096a44d7aec76c69f2b
github-merge-pr: Add option for no remote operations

This adds the new option GITHUB_NO_PUSH which will prevent the script
from doing any changes to remote repositories.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
github-merge-pr.sh