On Oct 17, 8:44 pm, Adam Jimerson <vend...@gmail.com> wrote:
> How does one remove old tags from github? I removed the tags on my
> local copy with 'git tag -d <tagname>' then did a 'git push --tags
> origin master'. After doing so I see all the old tags along with the
> new tags.
git push github :refs/tags/wrongtag
--
You received this message because you are subscribed to the Google Groups
"GitHub" group.
To post to this group, send email to git...@googlegroups.com.
To unsubscribe from this group, send email to
github+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/github?hl=en.
