manage git remote tags

Synchronize git tags

# Initially one user one time clean up of tags for the repo
# Delete local tags.
git tag -l | xargs git tag -d
# Fetch remote tags.
git fetch
# Delete remote tags.
git tag -l | xargs -n 1 git push --delete origin
# Delete local tags.
git tag -l | xargs git tag -d

# Synchronize tags for each user
# All users remove all tags locally
# Delete local tags.
git tag -l | xargs git tag -d

# Development workflow might be:
git checkout -b dev-branch
# development flow 
# repeat: 
#       edit, test
# commit . . .
git commit  . . .
# 
git fetch
git checkout master
git rebase origin master
git checkout dev-branch
git rebase master

# tag and push name x-v0.0.0
# add tag
git tag x-v0.0.0
# push tag
git push x-v0.0.0