Say I have a file in my git repository called foo.
Suppose it has been deleted with rm (not git rm). Then git status will show:
Changes are not staged for commit:
deleted: foo
How do I stage this individual file deletion?
If I try:
git add foo
It says:
'foo' did not match any files.