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

New version StanOptimize #18

Closed
goedman opened this issue May 1, 2020 · 13 comments
Closed

New version StanOptimize #18

goedman opened this issue May 1, 2020 · 13 comments

Comments

@goedman
Copy link
Collaborator

goedman commented May 1, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/13942

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 v2.0.2 -m "<description of version>" c221328a935c2566cee2acbd64e07d557009ddfc
git push origin v2.0.2

@goedman
Copy link
Collaborator Author

goedman commented May 15, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/14802

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 v2.0.3 -m "<description of version>" 447e3fae4d74e781d635d61cb65ed7037837a9f9
git push origin v2.0.3

@goedman
Copy link
Collaborator Author

goedman commented Aug 3, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/18910

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 v2.0.4 -m "<description of version>" 73433d8b2775508ecd02cc63ce7a6b3bc9d0a1e1
git push origin v2.0.4

@goedman
Copy link
Collaborator Author

goedman commented Aug 17, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/19678

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 v2.1.0 -m "<description of version>" 4b34d725d120603f8f536a11a26d06237a9f8e72
git push origin v2.1.0

@goedman
Copy link
Collaborator Author

goedman commented Nov 13, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/24590

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 v2.1.1 -m "<description of version>" 147c8eb7c20502d3b801ac7be7622f4e08884755
git push origin v2.1.1

@goedman
Copy link
Collaborator Author

goedman commented Nov 13, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Error while trying to register: Version 2.1.1 already exists

@goedman
Copy link
Collaborator Author

goedman commented Nov 13, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/24618

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 v2.1.2 -m "<description of version>" e80368bc8822af6574a589a405ec24310b1dcd1f
git push origin v2.1.2

@goedman goedman closed this as completed Nov 15, 2020
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