Un error cometido en los servidores de Internet de Corea del Norte ha permitido a GitHub entrar en alguna de las 28 webs que existen en el país.