Chad has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/383755 )
Change subject: Remove Widgets extension as submodule from meta repo
......................................................................
Remove Widgets extension as submodule from meta repo
The extension is currently broken in git, and updating this repo
leaves one with a dirty clone that cannot be cleaned up. The error
is as follows:
error: Server does not allow request for unadvertised object
35480f10e7ce9b0fdaf23d3799d7b79463919b1e
Fetched in submodule path 'smarty', but it did not contain
35480f10e7ce9b0fdaf23d3799d7b79463919b1e. Direct fetching of that commit failed.
It has to do with the submodule in question that it makes use of.
If someone can fix the repo, this change can be reverted.
Change-Id: I1ad244f34b3eac0c6094ba77efa8c703ef7ae96c
---
M .gitmodules
D Widgets
2 files changed, 0 insertions(+), 5 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions
refs/changes/55/383755/1
diff --git a/.gitmodules b/.gitmodules
index c3770ae..2c37eac 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2886,10 +2886,6 @@
path = WhosOnline
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/WhosOnline
branch = .
-[submodule "Widgets"]
- path = Widgets
- url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Widgets
- branch = .
[submodule "Wigo3"]
path = Wigo3
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Wigo3
diff --git a/Widgets b/Widgets
deleted file mode 160000
index fce5acc..0000000
--- a/Widgets
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit fce5acc6f36efc728cab098d973b7b10ba9f29ed
--
To view, visit https://gerrit.wikimedia.org/r/383755
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I1ad244f34b3eac0c6094ba77efa8c703ef7ae96c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Chad <ch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
