[z3-five] Branches

[Martijn Faassen]

Philipp von Weitershausen wrote:
> now that Five 0.1 is released, here's a couple of questions regarding 
> the branches:
> 
> a) Faassen agreed with having the dc-experiments branch be merged to the 
> trunk. I suggest that Sidnei does so himself when he thinks he's ready 
> (regarding unit tests etc.)

Yup. This is the second Sidnei branch; Sidnei himself said the first was 
probably not going to be merged.

> b) 0.1 was tagged which raises the question whether we still need the 
> 0.1 branch around. I don't see us releasing 0.1.1 or something like that...

Let's keep it around in case we find a bug and do need a 0.1.1 release 
after all. :) In general, I think keeping release branches around for at 
least until the release is dead and buried is a good idea.

> c) Faassen, you merged your docfixes to the 0.1 branch and trunk, so we 
> could get rid of the faassen-docfixes branch, too, right?

Yes, that should be fine.

Regards,

Martijn