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

php - regexp cyrillic filename not matches -

c# - OpenXML hanging while writing elements -

sql - Select Query has unexpected multiple records (MS Access) -