Re: git is live

Tom Tromey
2013-10-29T19:39:03Z

Cary> (Maybe a > git gc will clean things up, too.)

Pedro> That's my expectation.

It will but you will have to clear the reflog first for best results.
When doing the grafting stuff I did:

git reflog expire --expire=now --all
git gc --prune=now --aggressive

--aggressive takes a lot of time though.

What I did is make a combined repository for the rebasing. Then I
pushed everything, cloned a new repository and fetched from my gitorious
repository, and finally deleted my combined repository.

Tom