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