Author: Derick Rethans (derickr)
Date: 2026-06-16T09:45:34+01:00
Commit: Remove submodule directory from git · php/web-php@a4dab4f · GitHub
Raw diff: https://github.com/php/web-php/commit/a4dab4fda0b146a8711e12606e7abadac8594422.diff
Remove submodule directory from git
Changed paths:
D distributions
M .gitmodules
Diff:
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