From d08dab26dc7372e31dd058c4ded88e6e84873d24 Mon Sep 17 00:00:00 2001
From: "Rodrigo Rodriguez (Pragmatismo)" <me@rodrigorodriguez.com>
Date: Fri, 20 Feb 2026 21:10:42 -0300
Subject: [PATCH] chore: push for ci

---
 push_all.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 push_all.sh

diff --git a/push_all.sh b/push_all.sh
deleted file mode 100755
index 9a5c611..0000000
--- a/push_all.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-for dir in botapp botserver botlib botui botbook bottest botdevice botmodels botplugin bottemplates .github; do
-  echo "--- Processing $dir ---"
-  cd $dir
-  git add -u
-  git commit -m "update: sync for alm" || true
-  ORIGIN_URL=$(git config --get remote.origin.url)
-  REPO_NAME=$(basename $ORIGIN_URL)
-  git remote remove alm 2>/dev/null || true
-  git remote add alm "https://alm.pragmatismo.com.br/GeneralBots/$REPO_NAME"
-  git push alm HEAD:main || git push alm HEAD:master || echo "Failed to push $dir"
-  cd ..
-done