장애 조치
다음과 같은 장애가 발생할 경우
$ git pull origin master ssh: connect to host github.com port 22: Bad file number
이 에러는 보통 서버에 연결할 수 없음을 의미하며 종종 방화벽이나 프락시서버가 원인이 되기도 한다.
다음과 같은 명령어를 실행하여 해결할 수 있다.
$ git ssh -T -p 443 [email protected] # Hi username! You've successfully authenticated, but GitHub does not # provide shell access.