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
