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