Auslagerung Gelöschter Dateien

Question

Angenommen, ich habe in meinem Git-Repository eine Datei namens foo .

Nehmen wir an, sie wurde gelöscht mit rm (nicht git rm ). Dann wird git status angezeigt:

Changes not staged for commit:

    deleted: foo

Wie führe ich diese individuelle Dateilöschung durch?

Wenn ich es versuche:

git add foo

Dort steht:

'foo' did not match any files.

Update (9 Jahre später, lol):

Dieses Problem scheint in Git 2.x behoben worden zu sein:

$ git --version
git version 2.25.1

$ mkdir repo

$ cd repo

$ git init .
Initialized empty Git repository in repo/.git/

$ touch foo bar baz

$ git add foo bar baz

$ git commit -m "initial commit"
[master (root-commit) 79c736b] initial commit
3 files changed, 0 insertions(+), 0 deletions(-)
create mode 100644 bar
create mode 100644 baz
create mode 100644 foo

$ rm foo

$ git status
On branch master
Changes not staged for commit:
    deleted: foo

$ git add foo

$ git status
On branch master
Changes to be committed:
    deleted:    foo