結果 : github revert a merged pull request