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

Release 0.1.1 #16

Closed
tkf opened this issue Feb 7, 2020 · 4 comments · Fixed by #21
Closed

Release 0.1.1 #16

tkf opened this issue Feb 7, 2020 · 4 comments · Fixed by #21

Comments

@tkf
Copy link
Collaborator

tkf commented Feb 7, 2020

Let's release 0.1.1 once #14 is merged.

@tkf
Copy link
Collaborator Author

tkf commented Feb 17, 2020

@JuliaRegistrator register branch=release

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/9599

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.1 -m "<description of version>" 23a5b3688a9b75b4fd7cc653dc5d1b63ed9a8a80
git push origin v0.1.1

@tkf
Copy link
Collaborator Author

tkf commented Feb 17, 2020

@JuliaRegistrator register branch=release

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/9599

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.1 -m "<description of version>" 41812d1d6e069da5195d8b811495fcc6a0ddc9af
git push origin v0.1.1

@tkf tkf closed this as completed in #21 Feb 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants