Skip to content
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

JuliaRegistrator trigger issue #1

Closed
eprovst opened this issue Jul 10, 2023 · 47 comments
Closed

JuliaRegistrator trigger issue #1

eprovst opened this issue Jul 10, 2023 · 47 comments

Comments

@eprovst
Copy link
Owner

eprovst commented Jul 10, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/87181

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>" 44bde1199cee706a8671fbda7188f678fb0229d0
git push origin v0.1.0

@eprovst eprovst changed the title Initial release Registration in the Julia registry Jul 12, 2023
@eprovst eprovst closed this as completed Jul 13, 2023
@eprovst eprovst changed the title Registration in the Julia registry JuliaRegistrator trigger issue Jul 13, 2023
@eprovst
Copy link
Owner Author

eprovst commented Jul 13, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/87434

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>" e37aacf3615f9fe70b01adb68d20386cd3448d5e
git push origin v0.2.0

@eprovst
Copy link
Owner Author

eprovst commented Jul 17, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/87644

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>" 40fc19ab98ed1b9725e71d9bca00a79483513051
git push origin v0.3.0

@eprovst
Copy link
Owner Author

eprovst commented Jul 17, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/87645

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 DomainColoringToy-v0.1.0 -m "<description of version>" 40fc19ab98ed1b9725e71d9bca00a79483513051
git push origin DomainColoringToy-v0.1.0

@eprovst
Copy link
Owner Author

eprovst commented Jul 17, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/87645

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 DomainColoringToy-v0.1.0 -m "<description of version>" d94f3d00de872353926359f1beaae5d0c650fff8
git push origin DomainColoringToy-v0.1.0

@eprovst
Copy link
Owner Author

eprovst commented Aug 8, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/89260

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>" 5e50d68c45591cc7c4df3f1a3accbb605f13721b
git push origin v0.4.0

@eprovst
Copy link
Owner Author

eprovst commented Aug 8, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/89261

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 DomainColoringToy-v0.2.0 -m "<description of version>" 5e50d68c45591cc7c4df3f1a3accbb605f13721b
git push origin DomainColoringToy-v0.2.0

@eprovst
Copy link
Owner Author

eprovst commented Aug 8, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/89267

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>" fdef3014a4c7d1375012e377e8db2e1a10652827
git push origin v0.4.1

@eprovst
Copy link
Owner Author

eprovst commented Aug 14, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/89611

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.0 -m "<description of version>" 7cac420f6e4e26034dbed83d161177a9423fc8e1
git push origin v0.5.0

@eprovst
Copy link
Owner Author

eprovst commented Aug 14, 2023

@JuliaRegistrator register subdir=DomainColoringToy

Repository owner deleted a comment from JuliaRegistrator Aug 15, 2023
@eprovst
Copy link
Owner Author

eprovst commented Aug 19, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/89936

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>" 3a16241006632d12479394dc0204bd4ad054df6f
git push origin v0.6.1

@eprovst
Copy link
Owner Author

eprovst commented Sep 6, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/90927

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

@eprovst
Copy link
Owner Author

eprovst commented Sep 6, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/90931

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 DomainColoringToy-v0.5.0 -m "<description of version>" b7e0d62ab839112a1ef84ecba82ab666527eb34f
git push origin DomainColoringToy-v0.5.0

@eprovst
Copy link
Owner Author

eprovst commented Sep 7, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request updated: JuliaRegistries/General/90931

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 DomainColoringToy-v0.5.0 -m "<description of version>" b7e0d62ab839112a1ef84ecba82ab666527eb34f
git push origin DomainColoringToy-v0.5.0

@eprovst
Copy link
Owner Author

eprovst commented Sep 8, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/91052

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.0 -m "<description of version>" 05d3fd81f0e944da2936c6f4350b2d174afd299a
git push origin v0.8.0

@eprovst
Copy link
Owner Author

eprovst commented Sep 8, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/91053

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 DomainColoringToy-v0.6.0 -m "<description of version>" 05d3fd81f0e944da2936c6f4350b2d174afd299a
git push origin DomainColoringToy-v0.6.0

@eprovst
Copy link
Owner Author

eprovst commented Sep 20, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/91769

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 v1.0.0 -m "<description of version>" 4fa82892db317d0deb8f5394736ad1c1844a4cd2
git push origin v1.0.0

@eprovst
Copy link
Owner Author

eprovst commented Sep 20, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/91771

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 DomainColoringToy-v1.0.0 -m "<description of version>" 4fa82892db317d0deb8f5394736ad1c1844a4cd2
git push origin DomainColoringToy-v1.0.0

@eprovst
Copy link
Owner Author

eprovst commented Oct 17, 2023

@JuliaRegistrator register

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/93579

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 v1.0.1 -m "<description of version>" 3977232ca16e6704e873e42b84a19975b2f165f6
git push origin v1.0.1

@eprovst
Copy link
Owner Author

eprovst commented Oct 17, 2023

@JuliaRegistrator register subdir=DomainColoringToy

@JuliaRegistrator
Copy link

Registration pull request created: JuliaRegistries/General/93580

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 DomainColoringToy-v1.0.1 -m "<description of version>" 3977232ca16e6704e873e42b84a19975b2f165f6
git push origin DomainColoringToy-v1.0.1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants