From 3a221788ec76807017dc78cdc8843941424d40c5 Mon Sep 17 00:00:00 2001
From: Michael Youngstrom <youngstrom.m@husky.neu.edu>
Date: Tue, 8 Jan 2019 12:58:46 -0500
Subject: [PATCH] include origin for target_branch in diff quality

---
 scripts/jenkins-quality-diff.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/jenkins-quality-diff.sh b/scripts/jenkins-quality-diff.sh
index ced8c623e1c..5b3395ca294 100755
--- a/scripts/jenkins-quality-diff.sh
+++ b/scripts/jenkins-quality-diff.sh
@@ -10,4 +10,7 @@ echo "Running diff quality."
 mkdir -p test_root/log/
 LOG_PREFIX=test_root/log/run_quality
 
+if [[ $TARGET_BRANCH != origin/* ]]; then
+    TARGET_BRANCH=origin/$TARGET_BRANCH
+fi
 paver run_quality -b $TARGET_BRANCH -p 100 -l $LOWER_PYLINT_THRESHOLD:$UPPER_PYLINT_THRESHOLD 2> $LOG_PREFIX.err.log > $LOG_PREFIX.out.log
-- 
GitLab