From ae29bdbc9c848b96799ea437d3d79d68ca23f739 Mon Sep 17 00:00:00 2001
From: Ollie Agent <ollie@example.com>
Date: Tue, 7 Jul 2026 12:15:48 +0200
Subject: [PATCH] update pull.sh

---
 pull.sh  | 2 +-
 pull.sh~ | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100755 pull.sh~

diff --git a/pull.sh b/pull.sh
index cbbd564..d7bd42b 100755
--- a/pull.sh
+++ b/pull.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-for d in . 9p acme core el httpgw skills webui; do pushd $d; git checkout main; git pull; popd; done
+for d in . 9p acme core el httpgw kde skills webui; do pushd $d; git checkout main; git pull; popd; done
diff --git a/pull.sh~ b/pull.sh~
new file mode 100755
index 0000000..cbbd564
--- /dev/null
+++ b/pull.sh~
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+for d in . 9p acme core el httpgw skills webui; do pushd $d; git checkout main; git pull; popd; done