git help: how to delete files have been deleted