how do i delete a file from my github repository code example Example: delete html file from git git rm file1.txt