From 21c26d19e365c179eb6129dbca980e55c6ffc9d5 Mon Sep 17 00:00:00 2001
From: Jared Boone <jboone@earfeast.com>
Date: Sat, 2 Mar 2019 13:44:58 -0800
Subject: [PATCH] deploy-nightly: rename REPO and URL with ARTEFACT_ prefix.

---
 tools/deploy-nightly.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/deploy-nightly.sh b/tools/deploy-nightly.sh
index 0bdf4f1b..80216958 100644
--- a/tools/deploy-nightly.sh
+++ b/tools/deploy-nightly.sh
@@ -3,7 +3,7 @@ PUBLICATION_BRANCH=master
 # set -x
 cd $HOME
 # Checkout the branch
-git clone --branch=$PUBLICATION_BRANCH https://${GITHUB_TOKEN}@github.com/${REPO}.git publish
+git clone --branch=$PUBLICATION_BRANCH https://${GITHUB_TOKEN}@github.com/${ARTEFACT_REPO}.git publish
 cd publish
 # Update pages
 cp $ARTEFACT_BASE/$BUILD_NAME.tar.xz .
@@ -25,7 +25,7 @@ for commit in $COMMITS; do
     FILENAME=`find . -maxdepth 1  -name "*-$commit.tar.xz"`
     if [ "$FILENAME" != "" ]; then
         FN=${FILENAME:2}
-        echo "<a href=\"${URL}/$FN\">$FN</a><br />" >> index.html
+        echo "<a href=\"${ARTEFACT_URL}/$FN\">$FN</a><br />" >> index.html
     fi
     
 done