Issue for JuliaRegistrator

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Error while trying to register: Register Failed
@giopaglia, it looks like you are not a publicly listed member/owner in the parent organization (aclai-lab).
If you are a member/owner, you will need to change your membership to public. See GitHub Help

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

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

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/79140

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.2.0 -m "<description of version>" 18d7d236e8aed90fe8869d0f02c938ed43cd27f5
git push origin v0.2.0

Also, note the warning: This looks like a new registration that registers version 0.2.0.
Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers
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.

[giopaglia]

@JuliaRegistrator register()

[giopaglia]

@JuliaRegistrator register()

[giopaglia]

@JuliaRegistrator register() s'il vous plait...

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/79244

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

Also, note the warning: This looks like a new registration that registers version 0.2.1.
Ideally, you should register an initial release with 0.0.1, 0.1.0 or 1.0.0 version numbers
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.

[ferdiu]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/86832

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>" 240ceb928f69e34a285c9efef63194eff5ca9b76
git push origin v0.9.0

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

[ferdiu]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request updated: JuliaRegistries/General/86832

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>" 240ceb928f69e34a285c9efef63194eff5ca9b76
git push origin v0.9.0

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

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/87043

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.3.0 -m "<description of version>" 6a22bd110af105f556a831fffcc070d24481b64c
git push origin v0.3.0

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/87584

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

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request updated: JuliaRegistries/General/87584

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

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/87747

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

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/87761

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

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/105905

Tagging

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>" 79fff965979a3b59a3331ebb58cb2dca7b5c40ae
git push origin v0.8.2

[alberto-paparella]

@JuliaRegistrator register()

Release notes:

• Minor fixes

[JuliaRegistrator]

Error while trying to register: Version 0.8.2 already exists

[alberto-paparella]

@JuliaRegistrator register()

Release notes:

• Minor fixes

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/107299

Tagging

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

[alberto-paparella]

@JuliaRegistrator register()

Release notes:

• Major speedup with SyntaxBranch (now free of type parameters).
• Add randatom, natoms.
• Improved interface for UnionAlphabet.
• Fix bugs with LeftmostConjuctiveForm.
• Fix bugs with ManyValuedLogics order utilities.

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/108314

Tagging

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>" b92856fc72a18d4e297e728751a6adbffd7fba66
git push origin v0.9.0

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Error while trying to register: Version 0.9.0 already exists

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/108632

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
"Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the
release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/110424

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
"Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the
release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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>" de84baf682956dc612ba4ee7b422489defa47d52
git push origin v0.9.2

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/110547

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
"Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the
release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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.3 -m "<description of version>" 098ff900b9a267aea178ea7f907567260e6da496
git push origin v0.9.3

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/110945

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
"Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the
release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Error while trying to register: Version 0.9.4 already exists

[giopaglia]

@JuliaRegistrator register()

[JuliaRegistrator]

Registration pull request created: JuliaRegistries/General/112952

Tip: Release Notes

Did you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
"Release notes:" and it will be added to the registry PR, and if TagBot is installed it will also be added to the
release that TagBot creates. i.e.

@JuliaRegistrator register

Release notes:

## Breaking changes

- blah

To add them here just re-invoke and the PR will be updated.

Tagging

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.5 -m "<description of version>" e7fbd9fd1c5152eb86399719be5e31571ea7c9c3
git push origin v0.9.5