Skip to content

Update URL of "Excelsior" #2190

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
Merged
merged 1 commit into from
Dec 12, 2022
Merged

Update URL of "Excelsior" #2190

merged 1 commit into from
Dec 12, 2022

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Dec 6, 2022

Companion to #2189

@per1234 per1234 added topic: URL change Change library repository URL status: pending backend Depends on backend maintenance operations labels Dec 6, 2022
@umbynos umbynos self-assigned this Dec 12, 2022
@umbynos
Copy link
Contributor

umbynos commented Dec 12, 2022

Done:

2022/12/12 16:58:52 Loaded 5385 libraries from DB
Removing Excelsior
Success!

@umbynos umbynos merged commit 84b1b72 into arduino:production Dec 12, 2022
@umbynos umbynos added the conclusion: resolved Issue was resolved label Dec 12, 2022
@umbynos umbynos mentioned this pull request Dec 12, 2022
Merged
@per1234 per1234 deleted the move-Excelsior branch December 12, 2022 17:10
@per1234 per1234 removed the status: pending backend Depends on backend maintenance operations label Apr 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@umbynos umbynos umbynos approved these changes

Assignees

@umbynos umbynos

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.
2 participants
@per1234 @umbynos