diff options
-rwxr-xr-x | ci-merge | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -443,7 +443,7 @@ do_remove_old() { # ignore commented lines echo $LINE | egrep -q '(^#|^\s*$|^\s*\t*#)' && continue - echo $LINE | grep -q "^$REMOTE_NAME\b" | grep -q $REMOTE_URL | grep -q $REMOTE_BRANCH + echo $LINE | grep -q "^$REMOTE_NAME\b" | grep -q $REMOTE_URL | grep -q "$REMOTE_BRANCH" if [ $? -eq 0 ]; then FOUND=1 fi |