結果 : github how to merge pull request locally