From a4dab4fda0b146a8711e12606e7abadac8594422 Mon Sep 17 00:00:00 2001 From: Derick Rethans Date: Tue, 16 Jun 2026 09:45:34 +0100 Subject: [PATCH] Remove submodule directory from git --- .gitmodules | 3 --- distributions | 1 - 2 files changed, 4 deletions(-) delete mode 160000 distributions diff --git a/.gitmodules b/.gitmodules index d8417ee343..e69de29bb2 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "distributions"] - path = distributions - url = git@github.com:php/web-php-distributions.git diff --git a/distributions b/distributions deleted file mode 160000 index 96bb841db4..0000000000 --- a/distributions +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 96bb841db4d7ab701b2229d4abc25fa614f98015