diff options
author | Daniel Lezcano <daniel.lezcano@linaro.org> | 2017-10-26 13:34:36 +0100 |
---|---|---|
committer | Daniel Lezcano <daniel.lezcano@linaro.org> | 2017-10-26 16:57:51 +0100 |
commit | 581866c2670360c682ec2b57b6e6b18afd95b8ff (patch) | |
tree | b0589a79b13bb7d56c5b6d0b22bb5c66f20d8254 | |
parent | 72208c1417cc6b5a9c99d888a7d0518bf86bc69e (diff) |
pmwg-ci: Baseline topic must be in the config file now
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>
-rwxr-xr-x | pmwg-ci-integ | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pmwg-ci-integ b/pmwg-ci-integ index 542e046..db30048 100755 --- a/pmwg-ci-integ +++ b/pmwg-ci-integ @@ -221,7 +221,7 @@ do_remove_old() { # REMOVED=0 - for REMOTE_NAME in $(git remote | grep -v $BASELINE); do + for REMOTE_NAME in $(git remote); do REMOTE_BRANCH=$(git remote show $REMOTE_NAME | grep tracked | awk '{ print $1 }') REMOTE_URL=$(git remote -v | grep "^$REMOTE_NAME\b" | grep fetch | awk '{ print $2 }') @@ -241,6 +241,11 @@ do_remove_old() { if [ $FOUND -eq 1 ]; then continue fi + + if [ "$REMOTE_NAME" = "$BASELINE" ]; then + echo "The baseline $BASELINE is removed from the config file, fix this! (abort)" + exit 1 + fi echo "The remote $REMOTE_NAME $REMOTE_URL $REMOTE_BRANCH is no longer tracked." echo -n "Delete it [Y/n]? " |