Code Review / ci-management.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 2768552) | patch
Fix up push script repoId selector and classifications 36/36/1
authorAndrew Grimberg <[email protected]>
Thu, 10 Dec 2015 14:30:36 +0000 (06:30 -0800)
committerAndrew Grimberg <[email protected]>
Thu, 10 Dec 2015 14:30:36 +0000 (06:30 -0800)
commitc4c17672b9a000663cbe9f5aa2332ecc65a4c783
tree0b198bc0498253c96fa4ed742fb141d73d8cf56etree | snapshot
parent27685529c80e3c673bfddae7adb17936bd20e394commit | diff
Fix up push script repoId selector and classifications

The settings files use a - separator for the repoIDs so we need to make
sure that we're concatenating against a - instead of .

Additionally we're tightening up the version classification of the
pushed objects. This may not be 100% still but it should be better than
what we were attempting previously.

Change-Id: I726f9d87c3441357701ad79b7357a337c6636a42
Signed-off-by: Andrew Grimberg <[email protected]>
jjb/vpp/include-raw-vpp-maven-push.sh diff | blob | history
Management repo for Jenkins Job Builder, script and management related to the Jenkins CI configuration.