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

tag v0.20.1 #988

Closed
dehann opened this issue Mar 13, 2023 · 3 comments
Closed

tag v0.20.1 #988

dehann opened this issue Mar 13, 2023 · 3 comments
Labels
Milestone

Comments

@dehann
Copy link
Member

dehann commented Mar 13, 2023

@JuliaRegistrator register branch=release/v0.20

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/79465

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 the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.20.1 -m "<description of version>" d7b4fdc7917d98c09dbdb33f4459b7a2809bf92c
git push origin v0.20.1

@dehann dehann closed this as completed Mar 13, 2023
@Affie
Copy link
Member

Affie commented Apr 21, 2023

@JuliaRegistrator register branch=release/v0.20

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/82038

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 the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.20.2 -m "<description of version>" 21804f88edbe117225526cd424fcac4360708001
git push origin v0.20.2

@Affie Affie reopened this Apr 21, 2023
@Affie Affie closed this as completed Apr 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants