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
Post a Comment