[MediaWiki-commits] [Gerrit] operations/puppet[production]: otrs: use wikimedia_domains from role exim

2016-12-20 Thread Dzahn (Code Review) 
Dzahn has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/328407 )

Change subject: otrs: use wikimedia_domains from role exim
..


otrs: use wikimedia_domains from role exim

Followup to Iabed0cace1

Change-Id: If541797dcb2e4829d6003632272c4bfe7b0efa74
---
M modules/role/manifests/otrs/webserver.pp
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Dzahn: Looks good to me, approved



diff --git a/modules/role/manifests/otrs/webserver.pp 
b/modules/role/manifests/otrs/webserver.pp
index 73e847b..e2847e8 100644
--- a/modules/role/manifests/otrs/webserver.pp
+++ b/modules/role/manifests/otrs/webserver.pp
@@ -38,7 +38,7 @@
 owner   => 'root',
 group   => 'root',
 mode=> '0444',
-source  => 'puppet:///files/exim/wikimedia_domains',
+source  => 'puppet:///modules/role/exim/wikimedia_domains',
 require => Class['exim4'],
 }
 # lint:endignore

-- 
To view, visit https://gerrit.wikimedia.org/r/328407
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If541797dcb2e4829d6003632272c4bfe7b0efa74
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi 
Gerrit-Reviewer: Dzahn 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/puppet[production]: otrs: use wikimedia_domains from role exim

2016-12-20 Thread Filippo Giunchedi (Code Review) 
Filippo Giunchedi has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/328407 )

Change subject: otrs: use wikimedia_domains from role exim
..

otrs: use wikimedia_domains from role exim

Followup to Iabed0cace1

Change-Id: If541797dcb2e4829d6003632272c4bfe7b0efa74
---
M modules/role/manifests/otrs/webserver.pp
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/07/328407/1

diff --git a/modules/role/manifests/otrs/webserver.pp 
b/modules/role/manifests/otrs/webserver.pp
index 73e847b..f8f803a 100644
--- a/modules/role/manifests/otrs/webserver.pp
+++ b/modules/role/manifests/otrs/webserver.pp
@@ -38,7 +38,7 @@
 owner   => 'root',
 group   => 'root',
 mode=> '0444',
-source  => 'puppet:///files/exim/wikimedia_domains',
+source  => 'puppet:///modules/role/exim/wikimedia_domains'
 require => Class['exim4'],
 }
 # lint:endignore

-- 
To view, visit https://gerrit.wikimedia.org/r/328407
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: If541797dcb2e4829d6003632272c4bfe7b0efa74
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits