[OT] Whats the kernel mailing list?

[<jsi...@ne...>]

Where is the kernel mailing list now? I seen it was moved to 
vger.kernel.org but then I seen a email by David Miller stating it was 
at redhat.com. Where is it now offically.