[z3-five] Re: Another Five release?

[Martijn Faassen]

Philipp von Weitershausen wrote:
> Martijn Faassen wrote:
> 
>> Philipp von Weitershausen wrote:

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

I'm sure it can be revived with some effort, but let's say release tags 
and version branches are untouchable for the forseeable future. Other 
branches can be cleaned up with the branch creator(s) consent.

Regards,

Martijn