how to delete hostory of a file github code example

Example: git remove file from history

$ git rm --cached giant_file
# Stage our giant file for removal, but leave it on disk