FreeGameDev

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

Ah! I thought somebody was gonna implement mirrors in the game DDDD