deploy-nightly: rename REPO and URL with ARTEFACT_ prefix.

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