Andre Poenitz <andre.poen...@mathematik.tu-chemnitz.de> writes: | Last time the topic came up it looked like there are not too many people | around who would mind a complete switch to git.
Did you then also talk about placing the repo on a different server? Something similar to github perhaps? -- Lgb