gitdir: /home/ernst/code/debian/auto/corectrl/git
