jenkins-bot has submitted this change and it was merged. Change subject: Remove out-of-date docs ......................................................................
Remove out-of-date docs This patch removes a bit of documentation that recommends editing site.pp for managing roles. Change-Id: I2ad1e98f540a5b48c8c8540f2dd04103408e1f04 --- M puppet/manifests/roles.pp 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Ori.livneh: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/manifests/roles.pp b/puppet/manifests/roles.pp index 7bc3646..202f88c 100644 --- a/puppet/manifests/roles.pp +++ b/puppet/manifests/roles.pp @@ -7,9 +7,6 @@ # a role below and submitting it as a patch to the Mediawiki-Vagrant # project. # -# To enable a particular role on your instance, include it in the -# mediawiki-vagrant node definition in 'site.pp'. -# # == Class: role::generic -- To view, visit https://gerrit.wikimedia.org/r/79012 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2ad1e98f540a5b48c8c8540f2dd04103408e1f04 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Ori.livneh <[email protected]> Gerrit-Reviewer: Ori.livneh <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
