Giuseppe Lavagetto has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/387175 )
Change subject: role::deployment_server: add docker-pkg
......................................................................
role::deployment_server: add docker-pkg
Change-Id: I54fececbabffb92595e9ab4079434832ff1462e7
---
M hieradata/role/common/deployment_server.yaml
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, approved
jenkins-bot: Verified
diff --git a/hieradata/role/common/deployment_server.yaml
b/hieradata/role/common/deployment_server.yaml
index 76f6d45..8eac2e3 100644
--- a/hieradata/role/common/deployment_server.yaml
+++ b/hieradata/role/common/deployment_server.yaml
@@ -177,3 +177,5 @@
repository: search/MjoLniR
statsv/statsv:
repository: analytics/statsv
+ "docker-pkg/deploy":
+ repository: operations/docker-images/docker-pkg/deploy
--
To view, visit https://gerrit.wikimedia.org/r/387175
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I54fececbabffb92595e9ab4079434832ff1462e7
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@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
