結果 : how to revert a merge request in github