diff --git a/scripts/tag_modules.sh b/scripts/release.sh similarity index 87% rename from scripts/tag_modules.sh rename to scripts/release.sh index b5ee723b48..f8fcb5d9c5 100755 --- a/scripts/tag_modules.sh +++ b/scripts/release.sh @@ -5,6 +5,9 @@ readonly ROOT_DIR="$(dirname "$CURRENT_DIR")" readonly tag="${1}" +git tag -d "${tag}" | true # do not fail if tag does not exist +git tag "${tag}" + directories=(examples modules) for directory in "${directories[@]}"