Buildbots should be updated to pull from github instead of SVN.
Can this be resolved now?
Yes, this is done.