No se pudo resolver el nombre de host

Tengo una nueva MacBook Pro con Maverick. Quer铆a enviar los cambios a github, pero aparece git push origin masterun error.Could not resolve hostname github.com: nodename nor servname provide

Intent茅 hacer ping a un dominio, no pasa nada. Trat茅 de rebotar el DNS

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

y otros consejos. A煤n nada. Apagar y encender WIFI ayud贸

Creo que empez贸 cuando migr茅 un nuevo modelo con Alembic. La transacci贸n de Postgres se bloquea. No estoy seguro de si la migraci贸n caus贸 eso o si el DNS no pudo resolver el URI de postgres y, por lo tanto, el problema.