From 80636dd35ff714e63dfcc4d925f7e62b485d3e39 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 20 Sep 2019 08:05:07 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- scripts/mk_nuget_release.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/mk_nuget_release.py b/scripts/mk_nuget_release.py index 0b418f48d..5df606dbb 100644 --- a/scripts/mk_nuget_release.py +++ b/scripts/mk_nuget_release.py @@ -24,10 +24,10 @@ release_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z release_tag_name = release_data['tag_name'] release_tag_ref_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/z3/git/refs/tags/%s" % release_tag_name).read().decode()) release_tag_sha = release_tag_ref_data['object']['sha'] -release_tag_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/z3/git/tags/%s" % release_tag_sha).read().decode()) +#release_tag_data = json.loads(urllib.request.urlopen("https://api.github.com/repos/Z3Prover/z3/commits/%s" % release_tag_sha).read().decode()) release_version = release_tag_name[3:] -release_commit = release_tag_data['object']['sha'] +release_commit = release_tag_sha # release_tag_data['object']['sha'] print(release_version)