結果 : github edit pull request before merging