diff --git a/ci-tools/update-production b/ci-tools/update-production index 3b2ab0f7f4dd29128d0e5adc4d04bf551bc14760..0fd16b89d1318c2a0039a2160fbe6c2aaf74d355 100755 --- a/ci-tools/update-production +++ b/ci-tools/update-production @@ -44,7 +44,7 @@ ensure_changes() { local TARGET_BRANCH=$1 shift - if [ $(git rev-parse "$SOURCE_BRANCH") -eq $(git rev-parse "$TARGET_BRANCH") ]; then + if [ $(git rev-parse origin/"$SOURCE_BRANCH") -eq $(git rev-parse origin/"$TARGET_BRANCH") ]; then return 1 fi }