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

Releases #123

Open
Wikunia opened this issue Apr 4, 2020 · 83 comments
Open

Releases #123

Wikunia opened this issue Apr 4, 2020 · 83 comments

Comments

@Wikunia
Copy link
Owner

Wikunia commented Apr 4, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/12233

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.1.0 -m "<description of version>" 8d54146e0f9d476cad9c24520167d08e6ed9f64c
git push origin v0.1.0

@Wikunia
Copy link
Owner Author

Wikunia commented Apr 4, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/12233

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.1.0 -m "<description of version>" 461f0ba052ac59d716c946e4d12e533ab61e1223
git push origin v0.1.0

@Wikunia
Copy link
Owner Author

Wikunia commented Apr 15, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/13013

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

@Wikunia
Copy link
Owner Author

Wikunia commented Apr 27, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/13721

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

@Wikunia
Copy link
Owner Author

Wikunia commented May 4, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/14133

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

@Wikunia
Copy link
Owner Author

Wikunia commented May 6, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/14251

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

@Wikunia
Copy link
Owner Author

Wikunia commented May 6, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/14279

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

@Wikunia
Copy link
Owner Author

Wikunia commented May 11, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

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

@Wikunia
Copy link
Owner Author

Wikunia commented May 11, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/14569

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.1.6 -m "<description of version>" 8a8cc9c58fa430203ce5d19d409122975019a129
git push origin v0.1.6

@Wikunia
Copy link
Owner Author

Wikunia commented May 22, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/15162

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.1.7 -m "<description of version>" 25e4dc2925ad35a658768aa43231f3e472241251
git push origin v0.1.7

@Wikunia
Copy link
Owner Author

Wikunia commented Jun 15, 2020

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/16409

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.1.8 -m "<description of version>" 587dbc85038935ad04ce164a02077a6afbe48619
git push origin v0.1.8

@Wikunia
Copy link
Owner Author

Wikunia commented Jul 17, 2021

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/41067

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

@Wikunia
Copy link
Owner Author

Wikunia commented Jul 26, 2021

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/41540

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.6.10 -m "<description of version>" 63af54516bc3f2858331340be834c9c68b2d3cd8
git push origin v0.6.10

@Wikunia
Copy link
Owner Author

Wikunia commented Aug 7, 2021

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/42365

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.7.0 -m "<description of version>" 9830f7d0bd50172e28c6334472138b8f318476f1
git push origin v0.7.0

@Wikunia
Copy link
Owner Author

Wikunia commented Nov 1, 2021

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/47894

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.7.1 -m "<description of version>" 36a7490856dd6cda223cf2d074964846b87b3b1a
git push origin v0.7.1

@Wikunia
Copy link
Owner Author

Wikunia commented Jan 8, 2022

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/51962

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

@Wikunia
Copy link
Owner Author

Wikunia commented Feb 5, 2022

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/53966

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

@Wikunia
Copy link
Owner Author

Wikunia commented Feb 6, 2022

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/54018

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.8.2 -m "<description of version>" 170dbe423c1ff4b7877394490a7f48d30f2f2097
git push origin v0.8.2

@Wikunia
Copy link
Owner Author

Wikunia commented Feb 19, 2022

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/54991

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.0 -m "<description of version>" 30f7ade9464f1b457154a7c126f320d30613e4e8
git push origin v0.9.0

@Wikunia
Copy link
Owner Author

Wikunia commented Feb 27, 2022

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/55555

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>" d66ad07983d1d867d66d1a4fba608ed20af738cf
git push origin v0.9.1

@Wikunia
Copy link
Owner Author

Wikunia commented Mar 26, 2022

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/57361

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>" e99db3814e88818222174e086a3024b9076fcaa1
git push origin v0.9.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