QChris has submitted this change and it was merged.
Change subject: Unsubscribe PartitionQuery, as it will be deleted
......................................................................
Unsubscribe PartitionQuery, as it will be deleted
Change-Id: I47c53cc316ed89e152db346f552684c81ea9b712
---
M .gitmodules
D PartitionQuery
2 files changed, 0 insertions(+), 4 deletions(-)
Approvals:
QChris: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index 7333f67..4ecf60f 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1590,10 +1590,6 @@
path = Parsoid
url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Parsoid.git
branch = .
-[submodule "PartitionQuery"]
- path = PartitionQuery
- url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/PartitionQuery.git
- branch = .
[submodule "PdfBook"]
path = PdfBook
url = https://gerrit.wikimedia.org/r/p/mediawiki/extensions/PdfBook.git
diff --git a/PartitionQuery b/PartitionQuery
deleted file mode 160000
index f965acd..0000000
--- a/PartitionQuery
+++ /dev/null
-Subproject commit f965acd044b6e51d167676280ec0e507fdbda070
--
To view, visit https://gerrit.wikimedia.org/r/187961
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I47c53cc316ed89e152db346f552684c81ea9b712
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: QChris <[email protected]>
Gerrit-Reviewer: QChris <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
