We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent dd0b1d0 commit 33ef12dCopy full SHA for 33ef12d
tools/config.sh
@@ -135,6 +135,7 @@ function github_release_id(){ # github_release_id <repo-path> <release-tag>
135
local repo_path="$1"
136
local release_tag="$2"
137
local release=`curl -s -k -H "Authorization: token $GITHUB_TOKEN" -H "Accept: application/vnd.github.v3.raw+json" "https://api.github.com/repos/$repo_path/releases" | jq -r '.[] | select(.tag_name == "$release_tag") | .id'`
138
+ echo "$release"
139
if [ ! "$release" == "" ] && [ ! "$release" == "null" ]; then echo "$release"; else echo ""; fi
140
}
141
0 commit comments