関連ワード:  git merge after pull request    git merge pull request    git merge pull request command line    git merge pull request locally    git merge pull request into local branch    git merge pull request to another branch    git merge pull request command    pull request merge types    gitlab merge request policy    gitlab merge request history