> I just thought I'd mention that the git-remove-history script that you > mention does filter-branch on HEAD, and not using the --all parameter. > I thought --all was the best way to "catch all" branches in one go... > > Â Â-- Tor Arvid > Much faster this way, thanks Tor, But it still gives the same result 88MB $ git branch -a * develop master remotes/origin/HEAD -> origin/develop remotes/origin/develop remotes/origin/experimental remotes/origin/gh-pages remotes/origin/master Finally I have deleted my public repo on github, created a new one and pushed master and develop to the new empty one. -- /RubÃn -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html