jenkins-bot has submitted this change and it was merged.
Change subject: Add mailman module
......................................................................
Add mailman module
Change-Id: I54317292e27d5758c94d21c40790ca3b6cc05e1e
---
M .gitmodules
A puppet/modules/mailman
2 files changed, 3 insertions(+), 0 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.gitmodules b/.gitmodules
index e88eeed..fd5033c 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -16,3 +16,6 @@
[submodule "puppet/modules/exim"]
path = puppet/modules/exim
url = https://github.com/example42/puppet-exim.git
+[submodule "puppet/modules/mailman"]
+ path = puppet/modules/mailman
+ url = https://github.com/thias/puppet-mailman.git
diff --git a/puppet/modules/mailman b/puppet/modules/mailman
new file mode 160000
index 0000000..d4f880f
--- /dev/null
+++ b/puppet/modules/mailman
+Subproject commit d4f880fee47376e0eb8df8e6cfd432f547c7b7bb
--
To view, visit https://gerrit.wikimedia.org/r/92007
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I54317292e27d5758c94d21c40790ca3b6cc05e1e
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits