Eliminar el archivo HTML de Git

git rm file1.txt
Delightful Dove