For Github, you can try this as well: echo "192.30.253.112 github.com" >> /etc/hosts This will work good for pull/push but web UI is broken. I have tried your

For Github, you can try this as well: echo "192.30.253.112 github.com" >> /etc/hosts This will work good for pull/push but web UI is broken. I have tried your method but doesn't make any difference.