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

Increment version #59

Closed
itsdfish opened this issue Jan 14, 2023 · 23 comments
Closed

Increment version #59

itsdfish opened this issue Jan 14, 2023 · 23 comments

Comments

@itsdfish
Copy link
Owner

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/75690

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.10.8 -m "<description of version>" ae7fa32987fa3ee58e25725aa8159f695955637d
git push origin v0.10.8

@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/75756

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.10.9 -m "<description of version>" fd4d2b73f4a0fed4790b209656bf23bfbc87c2bc
git push origin v0.10.9

@itsdfish
Copy link
Owner Author

itsdfish commented Apr 6, 2023

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/81149

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.10.10 -m "<description of version>" 2e4f1839a7ff411cfc7dd8fdf5c80e22c8b29370
git push origin v0.10.10

@itsdfish itsdfish closed this as completed Apr 6, 2023
@itsdfish
Copy link
Owner Author

itsdfish commented May 5, 2023

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/82934

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.10.11 -m "<description of version>" 27304a5f7d92d28d2b6be750c9813bbb8029810a
git push origin v0.10.11

@itsdfish itsdfish closed this as completed May 5, 2023
@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/83807

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.11.0 -m "<description of version>" d439a3b852c0bdbf65d8e2d6718e7eb478737f61
git push origin v0.11.0

@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Error while trying to register: "Tag with name v0.11.0 already exists and points to a different commit"

@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/83823

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.11.1 -m "<description of version>" 573b7ba6e36f57d04b5c43cd8fd92dd6c6bd1379
git push origin v0.11.1

@itsdfish
Copy link
Owner Author

itsdfish commented Jun 3, 2023

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/84803

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.11.2 -m "<description of version>" 4e6296beea3d936e529b9f56e542143db7df7e09
git push origin v0.11.2

@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/85565

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.12.0 -m "<description of version>" 4942107b49d51d97cf658c7e8d5cd7d881250eed
git push origin v0.12.0

@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/85723

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.12.1 -m "<description of version>" 778e6d502360bcee00036777a107403408494ecb
git push origin v0.12.1

@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/86028

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.12.3 -m "<description of version>" 02efde93c38ce7b4efe50a8b972ef55bb707868a
git push origin v0.12.3

Also, note the warning: Version 0.12.3 skips over 0.12.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.

@itsdfish
Copy link
Owner Author

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/86031

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.12.2 -m "<description of version>" 0c4dad43c61411da5ab0f6a752823581c9af306a
git push origin v0.12.2

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