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 ?