Hacker News Reader

> 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