RobH has submitted this change and it was merged. Change subject: Use mwdeploy instead of wikidev ......................................................................
Use mwdeploy instead of wikidev Change-Id: Id18704caec7b6629e18314fd6bf1a0f843c5777a --- M manifests/misc/maintenance.pp 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: RobH: Verified; Looks good to me, approved jenkins-bot: Verified; Looks good to me, but someone else must approve -- To view, visit https://gerrit.wikimedia.org/r/37305 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id18704caec7b6629e18314fd6bf1a0f843c5777a Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Demon <[email protected]> Gerrit-Reviewer: RobH <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
