diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2024-12-11 13:07:06 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2024-12-11 13:07:06 +0100 |
commit | e59cd23aa5d5fade23ff2fab22d19fe042dbeb68 (patch) | |
tree | 5398345136f00437ea5619bca0db93a8d7375c78 /tools | |
parent | 980fc6b1eec7e58eb4ebaeb95f089b5c2c6ac053 (diff) | |
parent | 2f664d818ad8c970ef1cf7f0618646cfb4f9dde0 (diff) |
Merge branch 'release/debian/1.3.1-1'HEADdebian/1.3.1-1master
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/create-release.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/create-release.sh b/tools/create-release.sh index 40904d7..7b0ed2d 100755 --- a/tools/create-release.sh +++ b/tools/create-release.sh @@ -54,6 +54,10 @@ cat << EOF >> release.json } EOF +echo '==================================================' +cat release.json +echo '==================================================' + curl --silent --fail --write-out "%{http_code}\n"\ --header "PRIVATE-TOKEN: $PRIVATE_TOKEN" \ --header "Content-Type: application/json" \ |