Reedy has submitted this change and it was merged.
Change subject: Add GWToolset
......................................................................
Add GWToolset
Bug: 56181
Change-Id: I5213037c39754f1c95d899c6433560ca0740e8e2
---
M .gitmodules
A extensions/GWToolset
2 files changed, 3 insertions(+), 0 deletions(-)
Approvals:
Reedy: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index d49585e..aa57eb1 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -475,3 +475,6 @@
[submodule "extensions/VisualEditor"]
path = extensions/VisualEditor
url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/VisualEditor.git
+[submodule "extensions/GWToolset"]
+ path = extensions/GWToolset
+ url =
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/GWToolset.git
diff --git a/extensions/GWToolset b/extensions/GWToolset
new file mode 160000
index 0000000..5bbc5db
--- /dev/null
+++ b/extensions/GWToolset
+Subproject commit 5bbc5dbe91aa9c3e70f94a97ba517569dfb3bd5a
--
To view, visit https://gerrit.wikimedia.org/r/102197
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5213037c39754f1c95d899c6433560ca0740e8e2
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.23wmf7
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
