Where to download Android sources while Kernel.org is down
<p>I'm looking for the android sources that are hosted on kernel.org (according to this site: <a href="http://source.android.com/source/downloading.html" rel="nofollow">http://source.android.com/source/downloading.html</a>). However since kernel.org was hacked a few weeks ago, it is down. Is there a friendly fork of the sources somewhere (e.g. github) for me to clone?</p>
