git rm file1.txt
git commit -m "remove file1.txt"
git rm --cached file1.txt
git commit -m "remove file1.txt"
$ git rm <file>
$ git commit -m "Deleted the file from the git repository"
$ git push
// delete unused file.
// It will be placed on index area, and been deleted at next commit
git rm file-to-delete.ext