A Quick Sanity Check: Git Tag Cleanup Routine
I mentioned in an earlier post that if you want to move a tag in git you have to do a discrete tag delete, push, then re-add the same tag, push. Sometimes though there are tags already out of sync in your repo. To handle things nicely, first do this routine. Update your local repos […]