Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/190226
Change subject: puppetmaster: rename reimage.sh to wmf-reimage ...................................................................... puppetmaster: rename reimage.sh to wmf-reimage Change-Id: I50f246ca06721d59dc008b8b0253ac56bad3134a --- R modules/puppetmaster/files/wmf-reimage M modules/puppetmaster/manifests/scripts.pp 2 files changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/26/190226/1 diff --git a/modules/puppetmaster/files/reimage.sh b/modules/puppetmaster/files/wmf-reimage similarity index 100% rename from modules/puppetmaster/files/reimage.sh rename to modules/puppetmaster/files/wmf-reimage diff --git a/modules/puppetmaster/manifests/scripts.pp b/modules/puppetmaster/manifests/scripts.pp index 5148d55..4a08e9fb 100644 --- a/modules/puppetmaster/manifests/scripts.pp +++ b/modules/puppetmaster/manifests/scripts.pp @@ -52,6 +52,6 @@ owner => 'root', group => 'root', mode => '0544', - source => 'puppet:///modules/puppetmaster/reimage.sh' + source => 'puppet:///modules/puppetmaster/wmf-reimage' } } -- To view, visit https://gerrit.wikimedia.org/r/190226 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I50f246ca06721d59dc008b8b0253ac56bad3134a Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits