結果 : how to delete a local commit in github