0.7.2 not registered in General registries
Closed this issue · 7 comments
The 0.7.2 version is tagged (since Oct 29, 2018 by @musm) but has not been propagated into general registries by attobot. Does anyone know what is the problem?
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/350
After the above pull request is merged, it is recommended that you create
a tag on this repository for the registered package version:
git tag -a v0.7.3 -m "<description of version>" f2db4e5d3939ab5e3a0916e07dec0ccb2276df7f
git push origin v0.7.3
Also, note the warning: Version 0.7.3 skips over 0.7.2
This can be safely ignored. However, if you want to fix this you can do so. Call register() again after making the fix. This will update the Pull request.
Can a JuliaIO
org owner @JuliaRegistrator register()
on this commit to get the old v0.7.2 registered and resolve this issue? Thanks
Now that we have 0.7.3, do we actually need 0.7.2? Meaning, would releasing 0.7.2 solve an actual problem?
I guess not. I just thought it would look odd in the registry to have a version that's tagged on github missing during the resolve process, if there are Unsatisfiable requirements
errors. I defer to your judgement @timholy
Minutes are precious, so I'll skip 😉
Closed as 0.7.3 has been released