[z3-five] Re: Another Five release?

[Philipp von Weitershausen]

Martijn Faassen wrote:

> 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.

Not really. This is subversion. You can always merge back in time to get 
old directory trees.

> 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.

You are right. Tags are static. Still, I doubt that a 0.1.x release is 
going to happen. But we can keep that branch around anyhow, despite the 
fact that it can be revived (see above). I'll delete Sidnei's branches.

Philipp