結果 : revert pull request github command line