Filippo Giunchedi has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/371039 )
Change subject: package_builder: add hooks for stretch
......................................................................
package_builder: add hooks for stretch
Change-Id: I30b242902a5a04cc21d0e05aaf49aee3d83b5e44
---
M modules/package_builder/manifests/hooks.pp
1 file changed, 7 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Filippo Giunchedi: Looks good to me, approved
diff --git a/modules/package_builder/manifests/hooks.pp
b/modules/package_builder/manifests/hooks.pp
index c72d6a6..ab1185e 100644
--- a/modules/package_builder/manifests/hooks.pp
+++ b/modules/package_builder/manifests/hooks.pp
@@ -25,6 +25,11 @@
basepath => $basepath,
}
- File["${basepath}/hooks"] -> Package_builder::Pbuilder_hook['trusty']
- File["${basepath}/hooks"] -> Package_builder::Pbuilder_hook['jessie']
+ package_builder::pbuilder_hook { 'stretch':
+ distribution => 'stretch',
+ components => 'main backports thirdparty',
+ basepath => $basepath,
+ }
+
+ File["${basepath}/hooks"] -> Package_builder::Pbuilder_hook <| |>
}
--
To view, visit https://gerrit.wikimedia.org/r/371039
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I30b242902a5a04cc21d0e05aaf49aee3d83b5e44
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org>
Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@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
