Skip to content

Update repositories.txt #5982

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

Merged
merged 2 commits into from
Mar 12, 2025
Merged

Update repositories.txt #5982

merged 2 commits into from
Mar 12, 2025

Conversation

oskozach
Copy link
Contributor

Removing InputSwitch and MsTime libraries

Removing InputSwitch and MsTime libraries
Copy link
Contributor

Hi @oskozach.
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

@github-actions github-actions bot added the topic: removal Remove library from the list label Feb 23, 2025
@github-actions github-actions bot requested a review from per1234 February 23, 2025 13:29
Copy link
Contributor

@per1234 per1234 left a comment

Choose a reason for hiding this comment

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

Hi @oskozach. Please provide a detailed explanation for why you are requesting the removal of the libraries.

We do accommodate removal requests when the library maintainer wishes to permanently remove the library from Arduino Library Manager. However, I see you submitted these libraries only hours ago (#5977, #5981). It would be quite strange to immediately decide you want to permanently remove the library immediately after submitting it.

We sometimes see people try to remove and then resubmit libraries as a hacky way to accomplish something. Doing that is not allowed, and likely would not accomplish anything other than wasting everyone's time anyway.

@per1234 per1234 added the status: waiting for information More information must be provided before work can proceed label Feb 23, 2025
@per1234 per1234 self-assigned this Feb 23, 2025
@oskozach
Copy link
Contributor Author

Hi @per1234,

Thank you for your response.

I apologize for any confusion caused. I initially submitted the libraries mainly for educational purposes, as I wanted to see how the process works. However, I’ve realized that they’re not yet as complete or polished as I would like them to be. Unfortunately, I don’t currently have the time to refactor them, so I decided to remove them for now. Once I have the time to improve them, I might resubmit them in the future.

I fully understand the importance of maintaining the integrity of the Library Registry, and I assure you that my intent is not to misuse the process. If you need any additional information or clarification, I’m happy to provide it.

Thank you for your understanding.

This was referenced Feb 24, 2025
Copy link
Contributor

@per1234 per1234 left a comment

Choose a reason for hiding this comment

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

Hello @oskozach. I am confirming your request.

Unlike submissions, this type of request is still handled manually. The Library Manager index maintainer occasionally comes through to clear all the outstanding requests. They will merge this pull request when it is done. You will get a notification from GitHub at that time.

In the future, please only submit libraries if you plan to distribute them via the Library Manager system for a significant period of time. As I mentioned above, library removals require multiple manual operations on our end and the resources available to maintain this service are limited.

@per1234 per1234 added status: pending backend Depends on backend maintenance operations and removed status: waiting for information More information must be provided before work can proceed labels Feb 24, 2025
@per1234 per1234 removed their assignment Feb 24, 2025
@MatteoPologruto MatteoPologruto self-assigned this Mar 12, 2025
Copy link
Contributor

Hi @MatteoPologruto.
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

@github-actions github-actions bot removed the status: pending backend Depends on backend maintenance operations label Mar 12, 2025
@github-actions github-actions bot requested a review from per1234 March 12, 2025 09:25
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/03/12 09:26:54 Loaded 7832 libraries from DB
Removing MsTime
Success!
2025/03/12 09:25:53 Loaded 7833 libraries from DB
Removing InputSwitch
Success!

@MatteoPologruto MatteoPologruto merged commit ae66581 into arduino:main Mar 12, 2025
14 checks passed
@MatteoPologruto MatteoPologruto added the conclusion: resolved Issue was resolved label Mar 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved topic: removal Remove library from the list
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants