Chad 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: Ia6943a759f20c9245d3f42c8bc36107ac755f4bf
(cherry picked from commit 7215e3aa22974535c70d1e561d3fbefe3f7eaa64)
---
M .gitmodules
D PartitionQuery
2 files changed, 0 insertions(+), 4 deletions(-)
Approvals:
Chad: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index fb59c85..9a5d342 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1518,10 +1518,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/166373
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia6943a759f20c9245d3f42c8bc36107ac755f4bf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: REL1_23
Gerrit-Owner: QChris <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
