projects / maintainer-tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4abd9b) | patch
github-merge-pr: permit to target other repository name
authorChristian Marangi <ansuelsmth@gmail.com>
Fri, 16 Feb 2024 14:13:46 +0000 (15:13 +0100)
committerChristian Marangi <ansuelsmth@gmail.com>
Fri, 16 Feb 2024 14:17:02 +0000 (15:17 +0100)
commitde21a946044492c9906b3c190baedf2fa41962b0
treee69136e1114ee697b7e173fda1f63b52177d8adctree | snapshot
parentf4abd9b29596ce1afa26f5b43bd8597127f72252commit | diff
github-merge-pr: permit to target other repository name

Add support to target other repository name by passing the repository as
a 3rd arg to the script.

Example:

github-merge-pr.sh 23 main ubus

Will rebase and merge PR 23 in branch main for repository ubus.

Also add additional info on the additional args the script supports.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
github-merge-pr.sh diff | blob | history
Maintainer scripts for OpenWrt