Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Oct 20, 2025

This URL was submitted multiple times. The redundant copy is hereby removed to keep the repositories list tidy.

This URL was submitted multiple times. The redundant copy is hereby removed to keep the repositories list tidy.
@per1234 per1234 added the topic: removal Remove library from the list label Oct 20, 2025
@github-actions
Copy link
Contributor

Hi @per1234.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

@per1234 per1234 added the status: pending backend Depends on backend maintenance operations label Oct 20, 2025
@MatteoPologruto MatteoPologruto self-assigned this Oct 28, 2025
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:

2025/10/28 10:31:31 Loaded 8498 libraries from DB
Removing king_Armin_sparkyTDAxis12_I2C_lib
Success!
2025/10/28 10:29:00 Loaded 8499 libraries from DB
Removing sparkey_gyro_I2C
Success!

@MatteoPologruto MatteoPologruto merged commit 51d28c9 into arduino:main Oct 28, 2025
14 checks passed
@MatteoPologruto MatteoPologruto added the conclusion: resolved Issue was resolved label Oct 28, 2025
@per1234 per1234 deleted the remove-redundant-url branch October 28, 2025 10:52
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: removal Remove library from the list

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants