From a68a596bf46a3642847d2477507f9e2a74945fba Mon Sep 17 00:00:00 2001 From: Benjamin Mako Hill Date: Thu, 13 Aug 2026 13:20:59 -0700 Subject: [PATCH] remove the stale .gitmodules It declares a mediawiki-php-wikidiff2 submodule, but there is no gitlink for it in the index and no such directory on disk, so `git submodule` has nothing to act on. Leftover from 5a3e410, when wikidiff2 persistence was first being tried; the wikidiff2 source now reaches wikiq through pywikidiff2 instead. It was also being swept into the source distribution. Co-Authored-By: Claude Opus 5 (cherry picked from commit 2024dcc97d4013f0b5fc9ac89bf44c5ed8a2c06d) --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .gitmodules diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 171346b..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "mediawiki-php-wikidiff2"] - path = mediawiki-php-wikidiff2 - url = https://github.com/wikimedia/mediawiki-php-wikidiff2/