From dce8dce44f64848531f889df1dfe1897f3a1319d Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Thu, 13 Dec 2018 00:24:45 +0100
Subject: [PATCH] deploy task will successfully exit if no key is used

---
 .travis.yml                             | 2 +-
 package/build_boards_manager_package.sh | 8 ++------
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 8d80689c4..90ec7ddff 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,7 +14,7 @@ cache:
     - $HOME/astyle
 
 stages:
-#  - build
+  - build
   - deploy
 
 jobs:
diff --git a/package/build_boards_manager_package.sh b/package/build_boards_manager_package.sh
index e439c7ba5..8aac469ed 100755
--- a/package/build_boards_manager_package.sh
+++ b/package/build_boards_manager_package.sh
@@ -124,15 +124,11 @@ fi
 cat $srcdir/package/package_esp8266com_index.template.json | \
     jq "$jq_arg" > package_esp8266com_index.json
 
-#force
-#echo "1=${CI_GITHUB_API_KEY}"
-#CI_GITHUB_API_KEY="vt6StBC+ghqnh8YrreNo3wAzGGddJ2S4YpVZkz4S84xLEGWkIEghQhTrjlhzjBsrnHfLNko4tz9EsNx0yQ8yBlPOdReETGAkqnAU7PSPFss0qGcCRUXYtozNjbFQq6TWIxECK4xq40R9tE6NyeOpm9AYJtwF/v18u2T+T9qSgGQ="
-#echo "2=${CI_GITHUB_API_KEY}"
-
 # Use Github API token, if available
 curl_gh_token_arg=()
 if [ -z "$CI_GITHUB_API_KEY" ]; then
-    echo "curl: not using API key"
+    echo "curl: API key not present, exit with no error"
+    exit 0
 else
     curl_gh_token_arg=(-H "Authorization: token $CI_GITHUB_API_KEY")
 fi