関連ワード:  git push options merge request    does git merge push changes  
結果 : git push options merge request