git-delete-tag: should not be quoted

Otherwise the whole result will be considered one tag/ref.
Signed-off-by: spacewander <spacewanderlzx@gmail.com>
This commit is contained in:
spacewander 2023-03-07 09:02:51 +08:00
parent d5eaa1895b
commit 753555744b

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