github-merge-pr: introduce new script to merge pr on github
authorChristian Marangi <ansuelsmth@gmail.com>
Tue, 13 Sep 2022 22:08:11 +0000 (00:08 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Tue, 13 Sep 2022 22:08:11 +0000 (00:08 +0200)
commit953161d6963bdf7d8fd456e96ce594995389f257
treeac59e17561d3955ade458bb43a04acc673706df0
parent9e1eb67d180ec9450c5ca551be8f2cea8779db48
github-merge-pr: introduce new script to merge pr on github

Introduce a new script github-merge-pr.sh to facilitate merging pr from
github by flagging them as actually merged.

Assuming you are in the github repo.

Usage: github-merge-pr.sh <PR-ID> [rebase-branch] [dry-run]

PR-ID is PR #ID
rebase-branch is master to be rebased on (master,openwrt2..03...)
dry-run doesn't execute anything and is used to check what command will
be executed

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
github-merge-pr.sh [new file with mode: 0755]