Hacker News Reader

A small, social coding startup that hosts the Linux kernel source tree. And has a cute logo.

> that hosts the Linux kernel source tree

Wasn't that temporary during the kernel.org debacle?

There's a permanent mirror of it: https://github.com/mirrors/linux

It's not official though - anybody can throw up their own kernel mirror