Subject: killing a branch

From: Jens Axboe <[email-masked]>
Date: Tue, 10 Jan 2006 11:22:07 +0100

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