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 <ha...@hauke-m.de>
---
 github-merge-pr.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/github-merge-pr.sh b/github-merge-pr.sh
index db49c92..76aec20 100755
--- a/github-merge-pr.sh
+++ b/github-merge-pr.sh
@@ -158,6 +158,21 @@ if [ "$(echo "$PR_INFO" | jq -r ".maintainer_can_modify")" 
== "true" ]; then
                exit 9
        fi
 
+       if [ "$GITHUB_NO_PUSH" = "1" ]; then
+               echo "next commands:"
+               if [ "$(echo "$PR_INFO" | jq -r ".maintainer_can_modify")" == 
"true" ]; then
+                       echo "$GIT push $PR_USER HEAD:$PR_BRANCH --force"
+                       echo "$GIT checkout $BRANCH"
+                       echo "$GIT merge --ff-only $PR_USER/$PR_BRANCH"
+               else
+                       echo "$GIT checkout $BRANCH"
+                       echo "$GIT merge --ff-only $LOCAL_PR_BRANCH"
+               fi
+               echo "$GIT push"
+               echo "$GIT branch -D $LOCAL_PR_BRANCH"
+               exit 20
+       fi
+
        echo "Force pushing $LOCAL_PR_BRANCH to HEAD:$PR_BRANCH for $PR_USER"
        if ! $GIT push $PR_USER HEAD:$PR_BRANCH --force; then
                echo "Failed to force push HEAD to $PR_USER" >&2
-- 
2.45.2


_______________________________________________
openwrt-devel mailing list
openwrt-devel@lists.openwrt.org
https://lists.openwrt.org/mailman/listinfo/openwrt-devel

Reply via email to