Closed goedman closed 3 years ago
Registration pull request created: JuliaRegistries/General/14256
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 v1.0.1 -m "<description of version>" e71dcc33e5253773d581435ce7899f548d41059d
git push origin v1.0.1
@JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/14256
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 v1.0.1 -m "<description of version>" 630fb359d0725f3489aa37fe175cec94148a5063
git push origin v1.0.1
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/14459
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 v1.0.2 -m "<description of version>" 9b354d6cbce4229f14bbffe91c3d5221d32c1008
git push origin v1.0.2
@JuliaRegistrator register()
Error while trying to register: "Tag with name v1.0.2
already exists and points to a different commit"
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/19059
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 v1.0.3 -m "<description of version>" 72261a0cbefdf818aadfe6b33357970c870960c4
git push origin v1.0.3
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/20199
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 v1.0.4 -m "<description of version>" 88755d21f128de893873820f28f5019856ff8d24
git push origin v1.0.4
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/22282
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 v1.0.5 -m "<description of version>" 78bda6d6ee75ba4cdbfae01958e34c248916a47a
git push origin v1.0.5
@JuliaRegistrator register()
Error while trying to register: "Tag with name v1.0.5
already exists and points to a different commit"
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/24601
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 v1.0.6 -m "<description of version>" 187d260d9ace8c5002d5d04d1326d763f9530460
git push origin v1.0.6
@JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/24601
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 v1.0.6 -m "<description of version>" c333b9deda86aff42b808cf3c4bae47d199c6811
git push origin v1.0.6
@JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/24601
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 v1.0.6 -m "<description of version>" 20778d598ad0a62b810bccd059e2ca33c493554f
git push origin v1.0.6
@JuliaRegistrator register()
Registration pull request updated: JuliaRegistries/General/24601
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 v1.0.6 -m "<description of version>" 568cdf0d1bf033d86b9117b3669003d53f4dead6
git push origin v1.0.6
@JuliaRegistrator
register()