From 5e7bda2001e818ddaea4bceb6aeacba973359d67 Mon Sep 17 00:00:00 2001
From: Ollie Agent <ollie@example.com>
Date: Sun, 16 Aug 2026 15:34:45 +0200
Subject: [PATCH] remove pull.sh

---
 pull.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 pull.sh

diff --git a/pull.sh b/pull.sh
deleted file mode 100755
index ed73243..0000000
--- a/pull.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-set -e
-for d in . kde; do
-    pushd "$d" >/dev/null
-    git checkout main
-    git pull
-    popd >/dev/null
-done