[julia-users] Re: Pkg.publish problem

[Robert DJ]

It works -- and so is publish. Thanks!

On Monday, May 9, 2016 at 9:45:52 AM UTC+2, Kristoffer Carlsson wrote:
>
> 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