From 620e602b87912d9ee4f845c948a3c2272deb4372 Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Fri, 22 Jul 2022 13:39:29 -0400
Subject: [PATCH] use bash a bit better
---
ci-tools/update-production | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ci-tools/update-production b/ci-tools/update-production
index 0fd16b89..52079d5e 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 origin/"$SOURCE_BRANCH") -eq $(git rev-parse origin/"$TARGET_BRANCH") ]; then
+ if [ "$(git rev-parse origin/"$SOURCE_BRANCH")" = "$(git rev-parse origin/"$TARGET_BRANCH")" ]; then
return 1
fi
}
--
GitLab