deleting files from a git repo code example

Example: delete html file from git

git rm file1.txt