結果 : how to delete pushed git commit