Hi all
anybody who is interested has played with Git at least a bit? I saw just pushes from Herman, Marc and Tomáš for now. Anybody has some problems or questions?
I think we should set some time plan for the migration. A 3.3.0 release is close, it does not make sense to migrate before it, but afterward there should be some time to do that.