Is it possible to delete a branch from repository?

[David Cournapeau]

Olin Shivers wrote:
> - copy the entire repo to make my sandbox branch. This has an unpleasant cost:
>   I pay a space cost of n * (history + working-dir), instead of 
>   history + n * working-dir.

This is not true, at least on posix filesystems, with hardlinks. You
don't pay n * history cost. In my experience, given git's superior
format efficiency in general, git beat down bzr on this point in most
cases for space concern. And git clone is usually faster than bzr
branch, even for shared repo - I guess this would be wrong for large
repositories with deep history, though.

David