Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

register #119

Closed
milankl opened this issue Jan 20, 2020 · 4 comments
Closed

register #119

milankl opened this issue Jan 20, 2020 · 4 comments

Comments

@milankl
Copy link
Owner

milankl commented Jan 20, 2020

@JuliaRegistrator register

@milankl milankl closed this as completed Jan 20, 2020
@milankl
Copy link
Owner Author

milankl commented Jan 20, 2020

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/8212

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if Julia TagBot is installed, or can be done manually through the github interface, or via:

git tag -a v0.5.0 -m "<description of version>" f7690d1927b0cd7a33e9680b1c5493395b92c239
git push origin v0.5.0

Also, note the warning: This looks like a new registration that registers version 0.5.0.
Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers
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.

@milankl
Copy link
Owner Author

milankl commented Jan 23, 2020

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/8308

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if Julia TagBot is installed, or can be done manually through the github interface, or via:

git tag -a v0.1.0 -m "<description of version>" b36f7a248a6efdeaac805345c8e89ea7bcfddf16
git push origin v0.1.0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants