wcarhart · February 9, 2020 00:42
diff --git a/remove_file.sh b/remove_file.sh
 # Completely remove a file from git history

 # Remove file from all commits
 #   $path_to_file supports wildcards: path/to/directory/*
 git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $path_to_file" HEAD

 # Prune branch
 git reflog expire --expire=now --all && git gc --prune=now --aggressive

 # Rewrite history in remote
 git push --force
	# Completely remove a file from git history

	# Remove file from all commits
	# $path_to_file supports wildcards: path/to/directory/*
	git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $path_to_file" HEAD

	# Prune branch
	git reflog expire --expire=now --all && git gc --prune=now --aggressive

	# Rewrite history in remote
	git push --force