結果 : how to revert pushed changes in github