Dzahn has submitted this change and it was merged. Change subject: ci: travis user, typo 'nmptravis' vs. 'npmtravis' ......................................................................
ci: travis user, typo 'nmptravis' vs. 'npmtravis' needs to be npmtravis, fix typo Change-Id: Ia2e8bc69466e91c9b152663939fd039185c359a8 --- M manifests/role/ci.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/manifests/role/ci.pp b/manifests/role/ci.pp index fd469bd..365a9fb 100644 --- a/manifests/role/ci.pp +++ b/manifests/role/ci.pp @@ -185,7 +185,7 @@ # user and private key for Travis integration # RT: 8866 - user { 'nmptravis': + user { 'npmtravis': home => '/home/npmtravis', managehome => true, system => true, -- To view, visit https://gerrit.wikimedia.org/r/176024 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia2e8bc69466e91c9b152663939fd039185c359a8 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits