結果 : github revert pull request merge