Skip to content

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jul 28, 2024

Companion to #4854

@per1234 per1234 added topic: URL change Change library repository URL status: pending backend Depends on backend maintenance operations labels Jul 28, 2024
@umbynos umbynos self-assigned this Jul 29, 2024
Copy link
Contributor

@umbynos umbynos left a comment

Choose a reason for hiding this comment

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

Done:

2024/07/29 13:27:51 Loaded 7186 libraries from DB
Changing URL of library TaskManagerIO from https://github.com/davetcc/TaskManagerIO.git to https://github.com/TcMenu/TaskManagerIO.git
Success!

@umbynos umbynos added the conclusion: resolved Issue was resolved label Jul 29, 2024
@umbynos umbynos merged commit 92f976b into arduino:production Jul 29, 2024
2 checks passed
@per1234 per1234 deleted the move-TaskManagerIO branch July 29, 2024 22:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved status: pending backend Depends on backend maintenance operations topic: URL change Change library repository URL
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants