関連ワード:  git merge github pull request locally    gitlab pull request vs merge request  
結果 : git merge github pull request locally