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.

Sign up for GitHub

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

Jump to bottom

Update URL of "micro_ros_kaia" #3373

Merged
merged 1 commit into from
Oct 4, 2023
Merged

Update URL of "micro_ros_kaia" #3373

merged 1 commit into from
Oct 4, 2023

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Sep 25, 2023 •
edited
Loading

Companion to #3372 #3396

@per1234 per1234 added topic: URL change Change library repository URL status: pending backend Depends on backend maintenance operations labels Sep 25, 2023
@per1234 per1234 self-assigned this Sep 26, 2023
@per1234 per1234 added status: on hold Do not proceed at this time and removed status: pending backend Depends on backend maintenance operations labels Sep 26, 2023
@per1234
Copy link
Contributor Author

per1234 commented Sep 26, 2023

On hold due to a series of unexplained actions by @kaiaai since the time of the original URL change request. I am waiting for an explanation at #3378

@per1234 per1234 added status: pending backend Depends on backend maintenance operations and removed status: on hold Do not proceed at this time labels Sep 29, 2023
@per1234
Copy link
Contributor Author

per1234 commented Sep 29, 2023

Moving forward again with the URL update.

@per1234 per1234 removed their assignment Oct 3, 2023
@MatteoPologruto MatteoPologruto self-assigned this Oct 4, 2023
MatteoPologruto
MatteoPologruto approved these changes Oct 4, 2023
View reviewed changes
Copy link
Contributor

@MatteoPologruto MatteoPologruto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done:

2023/10/04 16:01:38 Loaded 6237 libraries from DB
Changing URL of library micro_ros_kaia from https://github.com/kaiaai/micro_ros_arduino_kaia.git to https://github.com/kaiaai/micro_ros_arduino_kaiaai.git
Success!

@MatteoPologruto MatteoPologruto merged commit 126f6e5 into arduino:production Oct 4, 2023
@MatteoPologruto MatteoPologruto added the conclusion: resolved Issue was resolved label Oct 4, 2023
@per1234 per1234 deleted the move-micro_ros_kaia branch October 4, 2023 16:10
@kaiaai
Copy link
Contributor

kaiaai commented Oct 4, 2023

Thank you, much appreciated!

@per1234 per1234 removed the status: pending backend Depends on backend maintenance operations label Oct 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MatteoPologruto MatteoPologruto MatteoPologruto approved these changes

Assignees

@MatteoPologruto MatteoPologruto

Labels
conclusion: resolved Issue was resolved topic: URL change Change library repository URL
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@per1234 @kaiaai @MatteoPologruto