-
Notifications
You must be signed in to change notification settings - Fork 4
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
tagbot pings #10
Comments
Registration pull request created: JuliaRegistries/General/34224 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/34536 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/34791 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/37380 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/38131 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/40560 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/41449 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/41623 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/43922 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/43981 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() |
@JuliaRegistrator register() |
Registration pull request created: JuliaRegistries/General/90000 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/90955 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/103088 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/104012 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/108094 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/108115 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/108139 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/115024 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/123778 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/123816 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()
The text was updated successfully, but these errors were encountered: