delete dead feature branches?

[Michael Matz]

Hi,

On Mon, 12 Oct 2009, Jason Merrill wrote:

> On 10/12/2009 10:22 AM, Paolo Bonzini wrote:
> > Yep. Anyone deleting dead branches should add a link to the last "live"
> > version in branches.html. It seems easier to me to move them under
> > branches/dead, and possibly create branches/merged.
> 
> Multiple directory levels under branches/ confuse git-svn; it thinks "dead" is
> a single branch.  I'd rather not expand on that usage.

I don't think we should necessarily limit ourself by bugs in foreign tools 
if it reduces useful information.  What about a new top-level directory 
dead-branches/, not under branches/ but parallel to it?  Should be easy to 
exempt from git-svn handling, shouldn't it?


Ciao,
Michael.