Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/386811 )
Change subject: Drop unused role::ci::jenkins_access ...................................................................... Drop unused role::ci::jenkins_access I am not entirely sure what used that class, but it is orphan in puppet and is not included on any labs instance: https://tools.wmflabs.org/openstack-browser/puppetclass/role::ci::jenkins_access role::ci::slave::labs::common provides the base anyway. Change-Id: Ic5bd05bd02747566def729b8d5920cb3aa56ec79 --- D modules/role/manifests/ci/jenkins_access.pp 1 file changed, 0 insertions(+), 15 deletions(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/modules/role/manifests/ci/jenkins_access.pp b/modules/role/manifests/ci/jenkins_access.pp deleted file mode 100644 index 0a08c60..0000000 --- a/modules/role/manifests/ci/jenkins_access.pp +++ /dev/null @@ -1,15 +0,0 @@ -# Grants genkins access to instances this is applied on -# Also turns them into a jenkins slave -# Used mostly for *oids atm. -class role::ci::jenkins_access { - # Allow ssh access from the Jenkins master to the server where citoid is - # running - include contint::firewall::labs - - # Instance got to be a Jenkins slave so we can update citoid whenever a - # change is made on mediawiki/services/citoid repository - include role::ci::slave::labs::common - # Also need the slave scripts for multi-git.sh - include contint::slave_scripts -} - -- To view, visit https://gerrit.wikimedia.org/r/386811 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic5bd05bd02747566def729b8d5920cb3aa56ec79 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Hashar <has...@free.fr> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
