Skip to content

Instantly share code, notes, and snippets.

View gianpaj's full-sized avatar
🇺🇦

Gianfranco P gianpaj

🇺🇦
View GitHub Profile
@JackDanger
JackDanger / git-remove-history.sh
Created August 19, 2010 22:06
remove large binary files from git history
#!/bin/bash
set -o errexit
# Author: David Underhill
# Script to permanently delete files/folders from your git repository. To use
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
#
# retrieved from: http://dound.com/2009/04/git-forever-remove-files-or-folders-from-history/
#