結果 : how to undo a commit pushed to github