結果 : how to delete a commit in github after push