Cualquiera sabe por qué no tengo problemas para acceder a los proyectos enhttp: //git.kernel.or pero no puede acceder ahttp: //android.git.kernel.or ?

También probé una conexión SSL a android.git.kernel.org en vano.

¿Alguien más tiene un problema similar o sabe qué podría pasar? Lo único que se me ocurre es que el sitio no funciona, pero no tengo nada con qué respaldarlo.