#For a single file:
git rm --cached mylogfile.log
#For a single directory:
git rm --cached -r mydirectory
$ 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
git rm --cached file1.txt
git rm -r --cached folder
git commit -m "remove file1.txt"
git push
git rm [-f | --force] [-n] [-r] [--cached] [--ignore-unmatch]
[--quiet] [--pathspec-from-file=<file> [--pathspec-file-nul]]
[--] [<pathspec>…]