Closed goedman closed 3 years ago
Registration pull request created: JuliaRegistries/General/13042
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 v3.0.1 -m "<description of version>" baa0422936c452cba35c49804f11700ab9c86909
git push origin v3.0.1
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/17232
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 v3.0.2 -m "<description of version>" dba0d71ae919e1c419dd0169c6aa9ad65f610fc4
git push origin v3.0.2
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/17338
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 v3.0.3 -m "<description of version>" 9186d6a823defa592c4951d4e19092671bb90a66
git push origin v3.0.3
@JuliaRegistrator register()
Error while trying to register: Changing package repo URL not allowed, please submit a pull request with the URL change to the target registry and retry.
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/19020
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 v3.0.4 -m "<description of version>" 5df5cdcf5c7d068aab91214b962ee0ac20ddf267
git push origin v3.0.4
@JuliaRegistrator register()
Error while trying to register: "Tag with name v3.0.4
already exists and points to a different commit"
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/22277
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 v3.0.5 -m "<description of version>" 4b1a48839141f0b3e3cac01f3c80b8fc6befd3ec
git push origin v3.0.5
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/24593
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 v3.0.6 -m "<description of version>" e70fe2553d304811d3b5ece70747ea954037c656
git push origin v3.0.6
@JuliaRegistrator register()
Registration pull request created: JuliaRegistries/General/24631
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 v3.0.7 -m "<description of version>" b90a12c6488e57e103502a646e8dfa4494201f8e
git push origin v3.0.7
@JuliaRegistrator
register()