diff --git a/web/deploy.sh b/web/deploy.sh
index 99d736a..5b10d05 100755
--- a/web/deploy.sh
+++ b/web/deploy.sh
@@ -90,5 +90,14 @@ cp -R dist/. ../docs/
 
 # Commit if changed
 if git diff --quiet; then
-  echo "✅ No changes to commit 
-::contentReference[oaicite:0]{index=0}
+  echo "✅ No changes to commit in docs/. Skipping commit."
+else
+  echo "📝 Committing docs update..."
+  git add docs
+  git commit -m "Deploy: update docs from dist"
+fi
+
+echo "🚀 Pushing '$PAGES_BRANCH' to '$REMOTE'..."
+git push "$REMOTE" "$PAGES_BRANCH"
+
+echo "✅ Done. Returning to '$ORIG_BRANCH' (handled by trap)."
\ No newline at end of file