aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Lezcano <daniel.lezcano@linaro.org>2017-10-26 13:34:36 +0100
committerDaniel Lezcano <daniel.lezcano@linaro.org>2017-10-26 16:57:51 +0100
commit581866c2670360c682ec2b57b6e6b18afd95b8ff (patch)
treeb0589a79b13bb7d56c5b6d0b22bb5c66f20d8254
parent72208c1417cc6b5a9c99d888a7d0518bf86bc69e (diff)
pmwg-ci: Baseline topic must be in the config file now
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>
-rwxr-xr-xpmwg-ci-integ7
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]? "