From 3e2a516b94e5b83071d53f35f57e22d2547ecb49 Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Thu, 20 Jul 2023 19:22:53 +0200 Subject: [PATCH] Move download_github_artifacts.py to its own folder. --- tools/{release => github}/download_github_artifacts.py | 0 tools/release/release.sh | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename tools/{release => github}/download_github_artifacts.py (100%) diff --git a/tools/release/download_github_artifacts.py b/tools/github/download_github_artifacts.py similarity index 100% rename from tools/release/download_github_artifacts.py rename to tools/github/download_github_artifacts.py diff --git a/tools/release/release.sh b/tools/release/release.sh index e51ce259c0..60955e1f94 100755 --- a/tools/release/release.sh +++ b/tools/release/release.sh @@ -223,7 +223,7 @@ printf "Downloading the artifact...\n" # Download files targetPath="./tmp/Element/${version}" -python3 ./tools/release/download_github_artifacts.py \ +python3 ./tools/github/download_github_artifacts.py \ --token ${gitHubToken} \ --artifactUrl ${artifactUrl} \ --directory ${targetPath} \