Git remote tags aren't staying deleted -


we attempting delete tags on our remote git server mistakenly added, don't seem want stay deleted. i'm deleting

git tag -d 12345 git push origin :refs/tags/12345 

then i've instructed team members run git fetch , git fetch --tags update locals. suspected people may have been pushing before fetching, pushing tags local should have been deleted, except after going through couple times, remote tags still showing up.

is there step missing?

might try:

git push --delete origin tagname 

Comments

Popular posts from this blog

html - Sizing a high-res image (~8MB) to display entirely in a small div (circular, diameter 100px) -

java - IntelliJ - No such instance method -

identifier - Is it possible for an html5 document to have two ids? -