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.
