diff options
author | Daniel Lezcano <daniel.lezcano@linaro.org> | 2017-10-27 19:50:11 +0100 |
---|---|---|
committer | Daniel Lezcano <daniel.lezcano@linaro.org> | 2017-10-27 19:50:11 +0100 |
commit | a619f85cb59c4c80b2ad9e7ebc734f628e0ffeb4 (patch) | |
tree | 631ae44958eb93969dbd98e5620c2189b6cf72db | |
parent | 59aca802e72d3a15bcea226a1d972ecec91275bc (diff) |
pmwg-ci: Don't merge the baseline branch on itselfv0.4
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>
-rwxr-xr-x | pmwg-ci-integ | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pmwg-ci-integ b/pmwg-ci-integ index 2546477..df4474f 100755 --- a/pmwg-ci-integ +++ b/pmwg-ci-integ @@ -306,7 +306,6 @@ do_remove_old() { for REMOTE_NAME in $(git remote); do - RBRANCH=$(git remote show $REMOTE_NAME | grep tracked | awk '{ print $1 }') RURL=$(git remote -v | grep "^$REMOTE_NAME\b" | grep fetch | awk '{ print $2 }') FOUND=0 @@ -321,7 +320,7 @@ do_remove_old() { FOUND=1 fi done < $CONFIG - + if [ $FOUND -eq 1 ]; then continue fi @@ -484,11 +483,14 @@ MERGED=0 while read LINE; do echo $LINE | egrep -q '(^#|^\s*$|^\s*\t*#)' && continue - REMOTE_NAME=$(echo $LINE | awk '{ print $1 }') REMOTE_URL=$(echo $LINE | awk '{print $2}') REMOTE_BRANCH=$(echo $LINE | awk '{print $3}') + if [ "$REMOTE_NAME" = "$BASELINE" ]; then + continue + fi + echo "Merging $REMOTE_NAME/$REMOTE_BRANCH" git merge --no-ff --no-edit $REMOTE_NAME/$REMOTE_BRANCH |