From f4795de0410130c2e593ddddfd8d6ce1067dcc40 Mon Sep 17 00:00:00 2001
From: Luis Garcia Acosta <lgarciaac@gmail.com>
Date: Fri, 25 Oct 2019 18:30:13 +0200
Subject: [PATCH] Include comments

---
 tools/bin/commands/release | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tools/bin/commands/release b/tools/bin/commands/release
index 77c14cc754c..a195a6fe4d0 100644
--- a/tools/bin/commands/release
+++ b/tools/bin/commands/release
@@ -311,7 +311,6 @@ publish_artifacts() {
     get_github_access_token
     get_github_username
 
-    set +e
     local data="{
 	  \"tag_name\": \"${tag}\",
 	  \"name\": \"${release_name}\",
@@ -334,9 +333,8 @@ publish_artifacts() {
           -H "Accept: application/vnd.github.v3+json" \
           -H "Content-Type: application/tar+gzip" \
           --data-binary "@$file" \
-          $upload_url?name=${file##*/} >$ERROR_FILE 2>&1
+          $upload_url?name=${file##*/}
         local err=$?
-        set -e
         if [ $err -ne 0 ]; then
           echo "ERROR: Cannot upload release artifact $file on remote github repository"
           return