well.. you can get them from here http://php.webtutor.pl/en/2011/09/05/kernel-org-hacked-how-to-get-android-repo/
On Tue, Sep 6, 2011 at 11:18 PM, Franky <frankyla...@gmail.com> wrote: > Nope, all repositories on kernel.org are currently down. > > Franky > > On Sep 6, 1:21 pm, Dennis Gabler <aar...@gmail.com> wrote: > > I am trying to get the kernel sources but can't even get curl to grab > > repo. > > > > Using: > > > > | curlhttps://android.git.kernel.org/repo> ~/bin/repo > > > > just hangs and times out. Is the server up? > > > > Thanks, > > Dennis > > -- > unsubscribe: android-kernel+unsubscr...@googlegroups.com > website: http://groups.google.com/group/android-kernel > -- unsubscribe: android-kernel+unsubscr...@googlegroups.com website: http://groups.google.com/group/android-kernel