github hide file from history code example

Example: git remove file from history

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