Hallo Federico Leva (Nemo):
I've still not seen any instructions, BTW. Having to move files one by one from old to new checkout is a pain.
To be honest, at least to me it's not really clear what you're trying to achieve and what the troubles you're experiencing are. In an earlier mail you wrote
but git pull claims everything is up to date and while I get my files back the checkout is broken. Hence, still using last SVN version (+ the https hack)
but it's unclear in which way the checkout is broken.