[git] How can I delete a file from a Git repository?