How to delete a remote tag in git
By Molly Heidenreich at Mar 27 2022
Delete a tag in a remote git repository
By Duane Denesik at Apr 13 2022