Removing multiple files from a Git repo that have already been deleted from disk

#    deleted:    file1.txt
#    deleted:    file2.txt
#    deleted:    file3.txt
#    deleted:    file4.txt

git ls-files --deleted -z | xargs -0 git rm

Written on December 15, 2016