[nbkolchin]

To make "git clone https://github.com/xxx" work, just add '192.30.252.136 github.com' to /etc/hosts. Only git will work, not web browser.