fatal: Unable to look up android.kernel.org (port 9418) (Name or service not known)

repo sync fails with the following message:

repo init -u git://android.kernel.org/platform/manifest.g开发者_运维知识库it
   Getting repo ...
   from git://android.kernel.org/tools/repo.git
   fatal: Unable to look up android.kernel.org (port 9418) (Name or service not known)

I know that kernel.org has been hacked and the source is now under github at http://www.github.com/android, but I have the message reported above

Anyone can help me?

Whole kernel.org is down for maintenance. I hope it will be up and running soon.

I've found instructions how to get sources from omapzoom.org mirror. It works for me.