From c49d8a0ffdc3aec6d6ae5cebd9ae51c50fa332a2 Mon Sep 17 00:00:00 2001
From: Ollie Agent <ollie@example.com>
Date: Fri, 10 Jul 2026 15:02:18 +0200
Subject: [PATCH] rm backup file

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

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