結果 : can we revert merged pull request github