From be6305fc615b5c12fb205dc4a63748f7bbcb6fd6 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] maybe these will resolve?
---
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 3b2ab0f7..0fd16b89 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
}
--
GitLab