jenkins-bot has submitted this change and it was merged.
Change subject: dib: add mariadb-server
......................................................................
dib: add mariadb-server
Wikimedia runs on MariaDB so MediaWiki should be better use that flavor.
Change-Id: I56fbab7acb8d958e1ace749e5867b05e716d7be0
---
M dib/puppet/ciimage.pp
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dib/puppet/ciimage.pp b/dib/puppet/ciimage.pp
index 8154411..2da1231 100644
--- a/dib/puppet/ciimage.pp
+++ b/dib/puppet/ciimage.pp
@@ -51,6 +51,8 @@
include mathoid::packages
}
+ensure_packages(['mariadb-server'])
+
# FIXME should be upstreamed to operations/puppet.git as contint::packages::dev
package { [
'pkg-config',
--
To view, visit https://gerrit.wikimedia.org/r/286498
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I56fbab7acb8d958e1ace749e5867b05e716d7be0
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
