I'm having a weird problem iwth Pkg.publish. I've successfully tagged a new
package version
Pkg.tag("Deldir")
INFO: Tagging Deldir v0.0.3
INFO: Committing METADATA for Deldir
But when running `Pkg.publish()` (in Julia v0.4):
INFO: Validating METADATA
INFO: Pushing Deldir permanent tags: v0.0.3
To [email protected]:robertdj/Deldir.jl.git
! [rejected] v0.0.3 -> v0.0.3 (already exists)
error: failed to push some refs to '[email protected]:robertdj/Deldir.jl.git'
hint: Updates were rejected because the tag already exists in the remote.
ERROR: failed process: Process(`git
--work-tree=/home/robert/.julia/v0.4/Deldir
--git-dir=/home/robert/.julia/v0.4/Deldir/.git push -q origin
refs/tags/v0.0.3:refs/tags/v0.0.3`, ProcessExited(1)) [1]
in pipeline_error at process.jl:555
in run at process.jl:531
[inlined code] from pkg/entry.jl:389
in anonymous at task.jl:388
in sync_end at ./task.jl:413
[inlined code] from task.jl:422
in publish at pkg/entry.jl:374
in anonymous at pkg/dir.jl:31
in cd at file.jl:22
in cd at pkg/dir.jl:31
in publish at pkg.jl:61
Looking in the Git log it appears that a commit from a few months ago is
tagged v0.0.3 (and I'm pretty sure that I have only tagged packages with
Pkg.tag in Juila), but I can't remember if it was on a different computer.
The v0.0.3 tag is still associated with the old commit, i.e., today's
commit does not have a tag.
Is there any easy way to fix the problem? Deleting the repository on Github
and uploading again (I'm the only contributor)?
Thanks,
Robert
