Eliminar varios archivos de un repositorio Git que ya se han eliminado del disco
Tengo un repositorio Git del que he eliminado cuatro archivos usando rm (no git rm), y mi estado de Git se ve así:
# deleted: file1.txt
# deleted: file2.txt
# deleted: file3.txt
# deleted: file4.txt
Cómo elimino estos archivos de Git sin tener que ir manualmente y agregar cada archivo de esta manera:
git rm file1 file2 file3 file4
Idealmente, estoy buscando algo que funcione de la misma manera que git add ., si eso es posible.
Warning: Undefined property: agent_blog_content::$date_asked in /var/www/agent_etc/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 32
Warning: Undefined property: agent_blog_content::$count_answers in /var/www/agent_etc/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 52