Chad has uploaded a new change for review. https://gerrit.wikimedia.org/r/108942
Change subject: Remove WikibaseQueryEngine submodule, repo to be deleted ...................................................................... Remove WikibaseQueryEngine submodule, repo to be deleted Change-Id: I89fc9c48b3fe502a4fe5e95a330173890db3316a --- M .gitmodules D WikibaseQueryEngine 2 files changed, 0 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions refs/changes/42/108942/1 diff --git a/.gitmodules b/.gitmodules index 12789c2..4510da7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -2514,10 +2514,6 @@ path = WikibaseQuery url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/WikibaseQuery.git branch = . -[submodule "WikibaseQueryEngine"] - path = WikibaseQueryEngine - url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/WikibaseQueryEngine.git - branch = . [submodule "WikibaseRepo"] path = WikibaseRepo url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/WikibaseRepo.git diff --git a/WikibaseQueryEngine b/WikibaseQueryEngine deleted file mode 160000 index 5cb0262..0000000 --- a/WikibaseQueryEngine +++ /dev/null -Subproject commit 5cb026279e7c83ee568be0140e39c77e0cb3a3e8 -- To view, visit https://gerrit.wikimedia.org/r/108942 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I89fc9c48b3fe502a4fe5e95a330173890db3316a 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