github cli merge pull request