How to REALLY delete a git branch (i.e. remove all of its objects/commits)?

Question

I have a git tree like

                 A---B---C topic
                /
           D---E---F---G master     <--

I would like to remove

Answer 1

Just the gc prune is often not enough to get rid of the extra objects in the repo. If commits are still referenced in the reflog, it won't consider those objects unreachable and hence ripe for pruning.

Here's what worked for me:

git reflog expire --expire=now --all
git gc --aggressive --prune=now
git repack -a -d -l

This will make some changes to your repo's history, and may well present difficulties if others are depending on the branches you blow away.

You may have to re-clone your repository to actually see a difference in its size.

Answer 2

Note May 2010: As mentioned by Jakub, if your branch was merged, topic would still be reachable.

Here, let's suppose there was no merge.
Then, as mentioned in the ProGit book and detailed in this SO question:

git gc --prune=now

should be enough (you should call directly git prune). You can control that with a git count-objects -v.
Edit April 2012: maxschlepzig in the comments confirms that extra steps might be required, as detailed in Duke's answer (but without the git repack).
So instead of a git gc --prune now:

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