The result why my curl command attach 140.82.11.4 to github is that in /etc/hosts files, there is "140.82.11.4 github.com" in that file, which solve the domain name without DNS server.