Report question

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