So I decided that I really didn’t need to tag releases of child themes that only I am using. Probably not best case usage but I got tired of pushing tags for minor CSS changes.
So I opened the terminal and
cd to the appropriate local git directory that has a remote on GitHub.
Then it’s a simple command.
git push --delete origin tagname
tagname is the tag version number.