結果 : how to delete a pushed commit git