The GIT repos are mirrored here, they are script updated and should never be far behind
https://notabug.org/Supertuxkart
The media and assets repos are mirrored here, they are manually updated. The contain history from SVN, but are mecurial repos
https://bitbucket.org/supertuxkart/profile/repositories?visibility=all