github-merge-pr: permit to target other repository name