[git] Git: How to commit a manually deleted file?