We've fixed up this git repo, removing an ages old .git directory
from our previous life in SVN.