how to i delete file in git pulled repo code example Example: delete html file from git git rm file1.txt