Added User-Agent header to GitHub requests

obsidiandynamics · Jun 29, 2019 · 0ed5b58 · 0ed5b58
1 parent a0e9463
commit 0ed5b58
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci-script.sh b/ci-script.sh
@@ -32,7 +32,7 @@ if [[ ! $app_ver =~ "-SNAPSHOT" ]]; then
   fi
 
   if [ $GITHUB_RELEASE_ENABLED = 1 ]; then
-    get_release_tag=$(curl -s -o /dev/null -w "%{http_code}" $repo_url/releases/tags/$app_ver)
+    get_release_tag=$(curl -s -o /dev/null -w "%{http_code}" -H 'User-Agent: CI' $repo_url/releases/tags/$app_ver)
     echo "Release tag $get_release_tag"
     if [ $get_release_tag == "404" ]; then
       echo "Publishing release"