[z3-five] Re: Another Five release?

[Martijn Faassen]

Philipp von Weitershausen wrote:
> Btw, Martijn and Sidnei, what about the following branches:
> 
> - Five-0.1
> - dc-experiments
> - dreamcatcher-cmf-comat-branch
> 
> I think the first two can be deleted, too, right? Five 0.1 is tagged under 
> z3/Five/tag anyway and dc-experiments was merged a while ago...

I don't think we should be deleting version branches so aggressively. We 
are making potentially valuable historical information unavailable.

In particular I'd like to keep the Five-0.1 branch until at least a few 
versions past Five-0.1, in case we need a Five-0.1.1 for whatever 
reason. This is unlikely, but I'd like to maintain release branches. The 
tag is different; that's completely frozen. Tags should *not* be altered 
after releases; instead we'll makea new Five-0.1.1 tag off the branch.

Regards,

Martijn