[oe] Summary of an unwanted merge and what I did

[Rolf Leggewie]

Holger Freyther wrote:
> it is about time to switch

I believe the discussion has been done.  I agree, action should follow.
 What are the next steps?  Do we want a vote on which tool to use?  I
see three contenders.

 a) stick with mtn
 b) switch to hg
 c) switch git

I don't recollect anybody advocating anything else.  So, should we have
a vote on a, b, or is there some technical issue that needs to resolved
or evaluated first?