killing a branch

Hi,

When I need to delete a branch from my git tree, I'm currently using
this (slooow) approach:

$ rm .git/refs/heads/branch-name
$ git prune

to rid myself of the branch and associated objects. Is there a faster
approach?

(please cc me, not on the list)

-- 
Jens Axboe