[MediaWiki-commits] [Gerrit] Remove WikibaseQueryEngine submodule, repo to be deleted - change (mediawiki/extensions)
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 16 index 5cb0262..000 --- 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
[MediaWiki-commits] [Gerrit] Remove WikibaseQueryEngine submodule, repo to be deleted - change (mediawiki/extensions)
Chad has submitted this change and it was merged. 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(-) Approvals: Chad: Verified; Looks good to me, approved 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 16 index 5cb0262..000 --- 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: merged Gerrit-Change-Id: I89fc9c48b3fe502a4fe5e95a330173890db3316a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: Chad ch...@wikimedia.org Gerrit-Reviewer: Chad ch...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits