From ddf915705af7617d0ee85e2cde2fae7a2e7f5647 Mon Sep 17 00:00:00 2001 From: James Graham Date: Thu, 21 May 2026 11:52:54 +0100 Subject: [PATCH] Remove db lock file This keeps getting deleted locally; presumably we don't actually want a lockfile commited to the repo. --- db/lock | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 db/lock diff --git a/db/lock b/db/lock deleted file mode 100644 index e69de29bb..000000000