github-merge-pr: introduce new script to merge pr on github