#763790 'git checkout -- <paths>' doesn't delete files

Package:
git
Source:
git
Description:
fast, scalable, distributed revision control system
Submitter:
Jonathan Nieder
Date:
2014-10-02 17:51:07 UTC
Severity:
normal
#763790#5
Date:
2014-10-02 17:49:17 UTC
From:
To:
Suppose I create a file:

	echo hello >greeting
	git add greeting
	git commit

Now I want to get back to the tree from the previous commit.  So I
use 'git checkout':

	git checkout HEAD^ -- .
	ls greeting

'greeting' isn't deleted.

Fixing this would probably involve introducing a --no-ignore-removal
flag and slowly swapping the default, like was done for 'git add' in
v2.0.