From df22946249123f7ec0b2b2b0beff15a9d98a3c7a Mon Sep 17 00:00:00 2001
From: Ollie Agent <ollie@example.com>
Date: Thu, 30 Jul 2026 19:42:21 +0200
Subject: [PATCH] pull.sh: update for flattened repo (only . kde webui remain)

---
 pull.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/pull.sh b/pull.sh
index d7bd42b..9b1f1b8 100755
--- a/pull.sh
+++ b/pull.sh
@@ -1,3 +1,8 @@
 #!/bin/bash
-
-for d in . 9p acme core el httpgw kde skills webui; do pushd $d; git checkout main; git pull; popd; done
+set -e
+for d in . kde webui; do
+    pushd "$d" >/dev/null
+    git checkout main
+    git pull
+    popd >/dev/null
+done