結果 : how to rename a commit in git after push