Não foi possível resolver o nome do host

Tenho um novo MacBook Pro com Maverick. Eu queria enviar as alterações para o github, mas git push origin masterrecebi um erroCould not resolve hostname github.com: nodename nor servname provide

Tentei pingar um domínio – nada acontece. Eu tentei rejeitar DNS

sudo launchctl unload -w /System/Library/LaunchDaemons/com.apple.mDNSResponder.plist
sudo launchctl load -w /System/Library/LaunchDaemons/com.apple.mDNSResponder.plist

e outras dicas. Nada ainda. Desligar e ligar o WIFI novamente ajudou

Acho que começou quando migrei um novo modelo com Alembic. Transação Postgres travada. Não tenho certeza se a migração causou isso ou o DNS não conseguiu resolver o URI do postgres e, portanto, o problema.