結果 : revert merged pull request github