Question on closing the branch.

[Abderrahim Kitouni]

2009/10/21 Dilip M <dilipm79 at gmail.com>:
> Hello,
>
> I have created a branch. pushed it. closed it and did strip. Now my next push
> don't delete the branch at remote? It is by design? Just curious to know...
Yes, it's by design, you can't delete remote changesets using push
(and even if you could, it would be more difficult than this, for
example a --force option somewhere), the only way is to run strip on
that repository.

A closed branch is (supposed to be) a branch that exists but don't get
in your way (e.g. it exists for historical reference).

HTH,
Abderrahim