Ask HN: What exactly are the implication of kernel.org hacking?

many people like me depend on kernel.org to download android kernel and linux-rt patches etc. I can see that http://android.git.pub4.kernel.org/repo is not working and I am also unable to download various other patches from kernel.org. Can someone confirm if this is due to hacking incident ?