@mhoye my understanding is that mirrors.kernel.org (mirrors of a bunch of distros) is operated entirely separately from kernel.org itself (the kernel). But still, yeah 
S
sen@hachyderm.io
@sen@hachyderm.io
Posts
-
These two images are the entire story of open source software support in this world, in a nutshell.