結果 : github revert merge pull request