Skip to content

Register #1

Closed
Closed

Description

@GiggleLiu

Activity

  1. JuliaRegistrator commented on May 17, 2020

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/14886

    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>" 91c34a20e575ba15c2c46bf02f9035ebe93356c5
    git push origin v0.1.0
    
  2. GiggleLiu commented on Aug 6, 2020

    @GiggleLiu
    MemberAuthor
  3. JuliaRegistrator commented on Aug 6, 2020

    @JuliaRegistrator

    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.

  4. JuliaRegistrator commented on Aug 6, 2020

    @JuliaRegistrator

    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.

  5. GiggleLiu commented on Aug 8, 2020

    @GiggleLiu
    MemberAuthor
  6. JuliaRegistrator commented on Aug 8, 2020

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/19181

    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>" 3e120e3abd148da726aadfddcefa5a5ceeece5b9
    git push origin v0.2.0
    
  7. GiggleLiu commented on Nov 9, 2020

    @GiggleLiu
    MemberAuthor
  8. JuliaRegistrator commented on Nov 9, 2020

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/24396

    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>" 547edebf9abd3247299975c712e59e08eff2df75
    git push origin v0.2.1
    
  9. GiggleLiu commented on Mar 2, 2021

    @GiggleLiu
    MemberAuthor
  10. JuliaRegistrator commented on Mar 2, 2021

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/31102

    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.2 -m "<description of version>" 1374391e2318d608d1efcf0544fecb024d65052c
    git push origin v0.2.2
    
  11. GiggleLiu commented on Mar 20, 2021

    @GiggleLiu
    MemberAuthor
  12. JuliaRegistrator commented on Mar 20, 2021

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/32398

    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.3 -m "<description of version>" d29fb962d8d5bd29d40c7b2001ae0d218f055d4f
    git push origin v0.2.3
    
  13. GiggleLiu commented on May 20, 2021

    @GiggleLiu
    MemberAuthor
  14. JuliaRegistrator commented on May 20, 2021

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/37163

    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>" 9bfdeaafdfeb3eabdd78d917d9a8df964b409bdc
    git push origin v0.3.0
    
  15. GiggleLiu commented on Jun 1, 2021

    @GiggleLiu
    MemberAuthor
  16. 14 remaining items

  17. JuliaRegistrator commented on Aug 8, 2022

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/65839

    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.5.4 -m "<description of version>" f0733c4da16a3545e0bdaaeb0c3b15f1ae48651d
    git push origin v0.5.4
    
  18. GiggleLiu commented on Aug 9, 2022

    @GiggleLiu
    MemberAuthor
  19. JuliaRegistrator commented on Aug 9, 2022

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/65948

    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.5.5 -m "<description of version>" 6200c3bd992a13d6dba193f86279246a98fb0513
    git push origin v0.5.5
    
  20. GiggleLiu commented on Sep 24, 2023

    @GiggleLiu
    MemberAuthor
  21. JuliaRegistrator commented on Sep 24, 2023

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/92094

    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.0 -m "<description of version>" cf2df7e14af780a353af327e22aa3fc241752e4f
    git push origin v0.6.0
    
  22. GiggleLiu commented on Sep 25, 2023

    @GiggleLiu
    MemberAuthor
  23. JuliaRegistrator commented on Sep 25, 2023

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/92177

    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.1 -m "<description of version>" 90d96aee0c3893654b0cb5f90f8578cd348dc82f
    git push origin v0.6.1
    
  24. GiggleLiu commented on Sep 26, 2023

    @GiggleLiu
    MemberAuthor
  25. JuliaRegistrator commented on Sep 26, 2023

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/92245

    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.2 -m "<description of version>" 3db3389a05c5153903abec36b86dafd1bc696e71
    git push origin v0.6.2
    
  26. GiggleLiu commented on Mar 3, 2025

    @GiggleLiu
    MemberAuthor
  27. JuliaRegistrator commented on Mar 3, 2025

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/126181

    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.6.3 -m "<description of version>" 16c644484f25e5b38dd6a0ed0bc96f58065c2c40
    git push origin v0.6.3
    
  28. GiggleLiu commented on Nov 2, 2025

    @GiggleLiu
    MemberAuthor
  29. JuliaRegistrator commented on Nov 2, 2025

    @JuliaRegistrator

    Registration pull request created: JuliaRegistries/General/141673

    Recommendation: add release notes

    Release notes help your users know what has changed in the new version. For breaking releases in particular, it's recommended to document what breaking changes were made (or point to where changes can be found, such as a changelog).

    To add release notes, 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 release notes to this registration, just re-invoke JuliaRegistrator 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.6.4 -m "<description of version>" a2efb820e330cea5a975698104acca00e761f005
    git push origin v0.6.4
    
  30. GiggleLiu commented on Sep 8, 2026

    @GiggleLiu
    MemberAuthor

    Closing as resolved: TropicalNumbers is registered in General with matching UUID and repository metadata. General PR #141673 merged v0.6.4, and the matching v0.6.4 release is published. No new registration or release action was performed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions