Created on 2019-12-19.16:56:24 by patfer, last changed by thomas.
This is a meta issue summarizing all tasks for the migration to git.
issue652 script to clean up the mercurial repositories automatically
issue950 script to convert the mercurial repos automatically
issue951 design and decide for a development workflow in git
issue952 update the buildbot to work on the git repository
issue940 try github test pipelines
issue953 support git in the repo tool