0b6eb7d9ddfb53d7e782f5269be9f4c91e23f0bc - gerrit/cdo/cdo.infrastructure - Git at Google

commit: 0b6eb7d9ddfb53d7e782f5269be9f4c91e23f0bc
[log]
author: Eike Stepper <stepper@esc-net.de>
Mon Oct 28 11:37:11 2019 +0100
committer: Eike Stepper <stepper@esc-net.de>
Mon Oct 28 11:37:11 2019 +0100
tree: b1694af3755a6cf90e00eac610f7d1651425e88e
parent: 41131ee3373e3e0e3c4944a0757ca80d63b062b8 [diff]

[552398] [Releng] Move promotion to Jenkins

https://bugs.eclipse.org/bugs/show_bug.cgi?id=552398

2 files changed

tree: b1694af3755a6cf90e00eac610f7d1651425e88e