how to delete a file from a repository in github code example Example: delete html file from git git rm file1.txt