Merge pull request #1036 from spacewander/del

hemanth · web-flow · commit 2d5b12c01f1b · 2023-03-06T18:02:52.000-08:00
git-delete-tag: should not be quoted
diff --git a/bin/git-delete-tag b/bin/git-delete-tag
@@ -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
