-
Notifications
You must be signed in to change notification settings - Fork 9
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
Registrator #60
Comments
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/80254 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:
|
@JuliaRegistrator register |
Registration pull request updated: JuliaRegistries/General/80254 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/80424 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/80807 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/82346 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/84283 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/86612 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/86809 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/87649 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/92717 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/96297 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/101175 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/106009 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/109898 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
@JuliaRegistrator register Release notes:
|
Registration pull request created: JuliaRegistries/General/110646 TaggingAfter 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/110656 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/110747 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
Registration pull request updated: JuliaRegistries/General/110747 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
1 similar comment
Registration pull request updated: JuliaRegistries/General/110747 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
@JuliaRegistrator register |
Registration pull request created: JuliaRegistries/General/119310 Tip: Release NotesDid you know you can add release notes too? Just add markdown formatted text underneath the comment after the text
To add them here just re-invoke and the PR will be updated. TaggingAfter 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:
|
No description provided.
The text was updated successfully, but these errors were encountered: