diff options
author | 2017-04-28 08:45:52 -0700 | |
---|---|---|
committer | 2017-04-28 08:47:08 -0700 | |
commit | 345956b525b0f67e94a1be92117ee75b9b6d8a75 (patch) | |
tree | 7860c694a4f9f66bdfe3e8975ba3dab9a91bd3bf /jenkins-scripts/README | |
parent | 62e4e66c4dccf1f0fbd8ace80e276e92fda7eb89 (diff) |
Add the docker.push info to merge job
The docker.push parameter was missing and therefore it was not possible
to push the docker images when there was a merge. This was crashing the
jenkins job
Change-Id: I8d428bb5b40ccbcbbefc14cb49a5926779496998
Signed-off-by: Determe, Sebastien (sd378r) <sd378r@intl.att.com>
Diffstat (limited to 'jenkins-scripts/README')
0 files changed, 0 insertions, 0 deletions