From: Junio C Hamano <hidden> Date: 2021-08-23 19:27:11
Nikita Bobko [off-list ref] writes:
`git checkout <hash> -- <path>` also doesn't work in my case because
if any file is removed in `<hash>` but not in my HEAD then `git
checkout` doesn't remove the file in my HEAD
Look for "--no-overlay" option in "git checkout", perhaps?