Umherirrender has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/395892 )
Change subject: Remove Wikidata build extension
......................................................................
Remove Wikidata build extension
Bug: T181838
Change-Id: Ie1eec1fe1c242a4c9d6fe007f7b287326eb87364
---
M .gitmodules
D Wikidata
2 files changed, 0 insertions(+), 5 deletions(-)
Approvals:
Umherirrender: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index d14a58d..02cf8f1 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2978,10 +2978,6 @@
path = WikibaseQualityExternalValidation
url =
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikibaseQualityExternalValidation
branch = .
-[submodule "Wikidata"]
- path = Wikidata
- url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Wikidata
- branch = .
[submodule "Wikidata.org"]
path = Wikidata.org
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/Wikidata.org
diff --git a/Wikidata b/Wikidata
deleted file mode 160000
index e7ee91b..0000000
--- a/Wikidata
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit e7ee91b863ad6058c7fa31da4039413de312de27
--
To view, visit https://gerrit.wikimedia.org/r/395892
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie1eec1fe1c242a4c9d6fe007f7b287326eb87364
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
