github-merge-pr: handle user using master as pushing repo
authorChristian Marangi <ansuelsmth@gmail.com>
Fri, 14 Oct 2022 12:48:48 +0000 (14:48 +0200)
committerChristian Marangi <ansuelsmth@gmail.com>
Fri, 14 Oct 2022 12:48:48 +0000 (14:48 +0200)
commite7f16343cfdb9ece9b1dc3b808c856e746eff412
treef0ab72efc33bb2abf6c8566265f1c6e5f1a64993
parent8e9ba09aaa0859bc10bba82e24447a0233037994
github-merge-pr: handle user using master as pushing repo

Some user may use master or other openwrt repo as the pr repo. This is
problematic as we checkout with the pr repo name and this may conflict
with the current openwrt branch name.

Fix it and checkout the local branch with the pr repo name + the pr
author.

Example:

usertest123:master is checkout to master-usertest123

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
github-merge-pr.sh