結果 : revert pull request merge github