A copy of the svn repo to git, to facilitate code searching