git rm multiple files that have already been deleted from disk

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

git rm file1 file2 file3 file4

git add -u

git commit -m "Deleted files manually"

git add -A

alias grma='git ls-files --deleted | xargs git rm'

git commit -a

git rm $(git ls-files --deleted)

git status |  sed -s "s/^.*deleted: //" | grep "(#|commit)" -v | xargs git rm

git-status | sed -s "s/^.*deleted: //" | xargs git rm