This commit is contained in:
James Cole 2024-03-31 09:55:17 +02:00
parent ee11a8e3a0
commit bbccbef578
No known key found for this signature in database
GPG Key ID: B49A324B7EAD6D80

View File

@ -161,7 +161,7 @@ jobs:
# in both cases, if the release or tag already exists, add ".1" until it no longer exists.
tagFound=true
tagCount=1
while [ $tagFound ]
while [ "$tagFound" = true ]
do
if [ $(git tag -l "$releaseName") ]; then
echo "Tag $releaseName exists already."