On Mon, Mar 12, 2012 at 1:17 PM, F. Gr. <frgroccia@xxxxxxxxx> wrote: > Now I want to remove some files from history and > the objects in my repository. Are these the right commands? > > git filter-branch -d /dir1/subdir/ --index-filter 'git rm --cached -f > --ignore-unmatch' -- --all > rm -rf /git_repo/.git/refs/remotes/origin > git reflog expire --expire=0 --all > git gc --aggressive --prune=0 > Seems OK. Just to be sure, start by doing a "git clone git_repo new_repo" and work on "new_repo". This way you could always go back from "git_repo" if something goes wrong. You may need to do a "git filter-branch --prune-empty" at the end to remove empty commits. -- Cédric Girard
