Yes, right now all *.kernel.org servers are unavailable.
Git's distributedness indeed avoids certain failures: e.g. anyone who
has cloned the kernel.org mirrors before they went down has access to
full history and full revision control even though the mirrors are
currently down.
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.
JBQ
> More info at http://groups.google.com/group/repo-discuss?hl=en
JBQ