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

New version: KiteControllers v0.2.3 #106262

Merged

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented May 6, 2024

Copy link
Contributor

github-actions bot commented May 6, 2024

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.


If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment. You can edit blocking comments, adding [noblock] to them in order to unblock auto-merging.

UUID: b19fd437-5b3a-4cca-b199-c3ded0f20ded
Repo: https://github.com/aenarete/KiteControllers.jl.git
Tree: e3632dcc8ce4b2d50d77cbcf31b6a75909ea5e47

Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
@JuliaRegistrator JuliaRegistrator force-pushed the registrator-kitecontrollers-b19fd437-v0.2.3-b2a7716622 branch from 5c921ba to 0bdd25f Compare May 6, 2024 16:00
@JuliaTagBot JuliaTagBot merged commit fabc0bb into master May 6, 2024
11 checks passed
@JuliaTagBot JuliaTagBot deleted the registrator-kitecontrollers-b19fd437-v0.2.3-b2a7716622 branch May 6, 2024 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants