Utilizo un puerto ssh no estándar (1234) para la mayoría de los servidores a los que me conecto. Entonces, en mi archivo de configuración ssh tengo: Port 1234 Pero github.com usa el puerto 22. Cuando intento conectarme a github, obviamente intenta usar el puerto 1234. En este momento tengo que...