git tips

delete a tag locally and remotely

git push –delete origin tagName
git tag -d tagName