Merge pull request #1036 from spacewander/del

git-delete-tag: should not be quoted
This commit is contained in:
hemanth.hm 2023-03-06 18:02:52 -08:00 committed by GitHub
commit 2d5b12c01f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -22,5 +22,7 @@ do
done
# Delete all the tags
git tag -d "$local_tags"
git push "$origin" "$origin_refs"
# shellcheck disable=SC2086
git tag -d $local_tags
# shellcheck disable=SC2086
git push "$origin" $origin_refs