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

Turing Release #1015

Closed
cpfiffer opened this issue Dec 8, 2019 · 25 comments
Closed

Turing Release #1015

cpfiffer opened this issue Dec 8, 2019 · 25 comments

Comments

@cpfiffer
Copy link
Member

cpfiffer commented Dec 8, 2019

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/6411

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

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

@cpfiffer
Copy link
Member Author

cpfiffer commented Dec 8, 2019

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/6413

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

@cpfiffer
Copy link
Member Author

cpfiffer commented Jan 5, 2020

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/7531

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

@cpfiffer
Copy link
Member Author

cpfiffer commented Jan 5, 2020

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/7550

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

@yebai
Copy link
Member

yebai commented Jan 5, 2020

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/7550

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

@cpfiffer cpfiffer closed this as completed Jan 6, 2020
@cpfiffer
Copy link
Member Author

@JuliaRegistrator register

@cpfiffer cpfiffer reopened this Feb 25, 2020
@JuliaRegistrator
Copy link

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

@cpfiffer
Copy link
Member Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/10032

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.9.0 -m "<description of version>" 35e3fe8e356212ba4e64265a870833e3a9b9f4e0
git push origin v0.9.0

@cpfiffer
Copy link
Member Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/11502

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.9.1 -m "<description of version>" 3b182d07c0597a019143a827c6f72c87a9a718ee
git push origin v0.9.1

@cpfiffer
Copy link
Member Author

I'm undoing 0.9.1 by release the contents of 0.9 as 0.9.2, so that 0.9.1 can be released as a minor version.

@JuliaRegistrator register branch=turing/v0.9.2

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/11513

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.9.2 -m "<description of version>" 652c7c007e07c52ad8d2625a03f666ff32e8e5bd
git push origin v0.9.2

@cpfiffer
Copy link
Member Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/11515

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

@cpfiffer
Copy link
Member Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/11515

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.0 -m "<description of version>" 8881b437fad136ffbfb115b76f0d9d5d5cc8e9e7
git push origin v0.10.0

@mohamed82008
Copy link
Member

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/11515

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.0 -m "<description of version>" 8881b437fad136ffbfb115b76f0d9d5d5cc8e9e7
git push origin v0.10.0

@cpfiffer
Copy link
Member Author

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/11614

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.1 -m "<description of version>" e078e3528f46b508008927e369050597f48d3556
git push origin v0.10.1

@yebai yebai closed this as completed Dec 16, 2021
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

4 participants