downloading repo -- can't connect to android.git.kernel.org ?

[Mike]

Hey all,

I'm trying to download repo from https://android.git.kernel.org/repo,
but I'm unable to connect. Is there a different place I should
download it from now, or is that server just out of action
temporarily?

Mike

[Shawn Pearce]

https://code.google.com/p/git-repo/ is the official mirror.

[Mike]

On Oct 4, 2:10 pm, Shawn Pearce <s...@google.com> wrote:
> On Tue, Oct 4, 2011 at 14:07, Mike <michael.st...@gmail.com> wrote:
> > I'm trying to download repo fromhttps://android.git.kernel.org/repo,

> > but I'm unable to connect. Is there a different place I should
> > download it from now, or is that server just out of action
> > temporarily?
>
> https://code.google.com/p/git-repo/ is the official mirror.

Awesome, thanks!

For reference, the android.git.kernel.org address is posted throughout
the Gerrit and Repo docs, e.g. here: http://source.android.com/source/downloading.html,
which is linked from the docs on code.google.com/p/git-repo. If you
tell me how I can submit a patch for that, I'd be happy to, but it
should probably be updated by someone.

Mike

[Jean-Baptiste Queru]

Chicken-and-egg: you can't submit a patch for the AOSP web site saying
that the AOSP servers are down... because the AOSP servers are down.

We're working on it.

JBQ

> --
> To unsubscribe, email repo-discuss...@googlegroups.com
> More info at http://groups.google.com/group/repo-discuss?hl=en
>

--
Jean-Baptiste M. "JBQ" Queru
Software Engineer, Android Open-Source Project, Google.

Questions sent directly to me that have no reason for being private
will likely get ignored or forwarded to a public forum with no further
warning.

[Paul Sokolovsky]

Hello,

On Tue, 4 Oct 2011 14:19:39 -0700
Jean-Baptiste Queru <j...@android.com> wrote:

> Chicken-and-egg: you can't submit a patch for the AOSP web site saying
> that the AOSP servers are down... because the AOSP servers are down.
>
> We're working on it.

Now that kernel.org is up, any ETA for when we can expect
android.git.kernel.org be back up too? Or at least, can we be sure it
will be the same hosts structure/setup as before?

Thanks,
Paul

Linaro.org | Open source software for ARM SoCs
Follow Linaro: http://www.facebook.com/pages/Linaro
http://twitter.com/#!/linaroorg - http://www.linaro.org/linaro-blog

[Jean-Baptiste Queru]

We're working on making the Android source files available again, and
we're making progress daily, but there's nothing further to announce
at this point.

JBQ

--