Moritz (>): > I'm fine with both, and have no real preference atm, just a small bias > towards git.
Same here. I like both systems, but ceteris paribus, I like git better. I find it hard to tell in advance whether it'd be worth the trouble switching, though. // Carl