I'm in the process of mirroring our svn repo, but it is definitely taking some time... Be patient & I'll close this issue when it is done.