Hello SuperTuxers,
due to the planned shutdown of Google Code, we have switched over the main repository to Github (which was a mirror previously).
You can find the repositories at the following location: https://github.com/supertux
Please update your git remote locations to match the repositories under the above location.
Furthermore, we moved the issues that were present at Google Code over to Github as well. So, if you have any issues with SuperTux, please use that issue tracker to report issues.
If you have further questions, please drop by on IRC (#supertux on irc.freenode.org), or reply to this blog post.
Thanks!
--Tobbi