結果 : github revert merged pull request