Fandom

Git Wiki

Permanently delete stuff

30pages on
this wiki
Add New Page
Talk0 Share

DON'T DO THIS IT IS GOING TO KILL ALL THE BRANCHES ON YOUR GIT SERVER Edit

use this script from here: http://dound.com/2009/04/git-forever-remove-files-or-folders-from-history/ Edit

#!/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
 
if [ $# -eq 0 ]; then
    exit 0
fi
 
# make sure we're at the root of git repo
if [ ! -d .git ]; then
    echo "Error: must run this script from the root of a git repository"
    exit 1
fi
 
# remove all paths passed as arguments from the history of the repo
files=$@
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD
 
# remove the temporary history git-filter-branch otherwise leaves behind for a long time
rm -rf .git/refs/original/ && git reflog expire --all &&  git gc --aggressive --prune

this is what I did Edit

 ../git-remove-history CVSROOT/

push it to the server Edit

  git push --mirror --dry-run
  git push --mirror

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.