Giuseppe Lavagetto has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/362362 )
Change subject: Fix pushing in the build script.
......................................................................
Fix pushing in the build script.
Change-Id: I34c854fcad434fb508eb01534ab597fadb57aa18
---
M build
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Giuseppe Lavagetto: Verified; Looks good to me, approved
diff --git a/build b/build
index 757c0f8..fa17ed3 100755
--- a/build
+++ b/build
@@ -110,7 +110,7 @@
password=self.config['password'],
registry=self.config['registry']
)
- command_output = self.client.push(name, tag)
+ command_output = self.client.api.push(name, tag)
print(command_output)
else:
print('Not pushing as credentials are not set.')
--
To view, visit https://gerrit.wikimedia.org/r/362362
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I34c854fcad434fb508eb01534ab597fadb57aa18
Gerrit-PatchSet: 1
Gerrit-Project: operations/docker-images/production-images
Gerrit-Branch: master
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
