From: Jens Axboe <axboe@suse.de>
Date: Tue, 10 Jan 2006 10:22:07 GMT
Subject: killing a branch
Message-ID: <20060110102207.GP3389@suse.de>

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