[web-php] remove-distributions-submodule: Remove submodule directory from git
| From: | Derick Rethans | Date: | Tue, 16 Jun 2026 08:47:27 +0000 |
| Subject: | [web-php] remove-distributions-submodule: Remove submodule directory from git | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-33759@lists.php.net to get a copy of this message | ||
Author: Derick Rethans (derickr)
Date: 2026-06-16T09:45:34+01:00
Commit: https://github.com/php/web-php/commit/a4dab4fda0b146a8711e12606e7abadac8594422
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