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
