mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-02-21 07:47:09 +08:00

`git rm --cached` is often used to delete a file that no longer exists in the working tree but remains in git's index. `git ls-files` will list files that are in the HEAD, which is exactly what we want. Local files not in `HEAD` can't be deleted from git anyway.