diff --git a/fake_home/.zshrc b/fake_home/.zshrc
index baa54e1..5eed3d2 100644
--- a/fake_home/.zshrc
+++ b/fake_home/.zshrc
@@ -170,6 +170,10 @@ function load-extensions {
 }
 
 function pushdot {
+    if ! ping -c 1 sagev.space &> /dev/null; then
+        echo "Could not reach sagev.space"
+        return 1
+    fi
     cd "$DOT_DIR" || return 1
     local res
     if ! git diff --quiet; then