You can delete the tag and recreate it or force push to update the tag. This thread seems to have a lot of good information: http://stackoverflow.com/questions/19298600/tag-already-exists-in-the-remote-error-after-recreating-the-git-tag
- [julia-users] Pkg.publish problem Robert DJ
- [julia-users] Pkg.publish problem Kristoffer Carlsson
- [julia-users] Re: Pkg.publish problem Robert DJ
