Report question

Question: pull command error : Failed connect to github.com:8080