Skip to content

Request to Add Socketyee to Arduino Library Manager #6351

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

Closed
wants to merge 1 commit into from

Conversation

Faizyee
Copy link
Contributor

@Faizyee Faizyee commented May 28, 2025

No description provided.

Copy link
Contributor

Hi @Faizyee.
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: other Something other than a library list request label May 28, 2025
@github-actions github-actions bot requested a review from per1234 May 28, 2025 04:05
@Faizyee Faizyee changed the title Update repositories.txt Update "Socketyee" May 28, 2025
@Faizyee Faizyee changed the title Update "Socketyee" Request to Add Socketyee to Arduino Library Manager May 28, 2025
@Faizyee Faizyee closed this May 28, 2025
@Faizyee Faizyee reopened this May 28, 2025
@per1234 per1234 self-assigned this May 28, 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.

Closing as duplicate of #6350

@ please don't submit pointless pull requests to this repository. The Arduino Library Manager Registry contains thousands of libraries from hundreds of authors. Finite resources are available to maintain this resource which is so important to the Arduino community. Pointless pull requests waste those resources and so this is irresponsible behavior.

Thanks in advance for your cooperation.


Perhaps you actually intended to accomplish something productive with this pull request? If so, I am happy to provide advice on how you can accomplish whatever goal you might have. But I can only do that if you make the effort to clearly communicate your intent. You can do that by adding a detailed description in a reply here on the pull request thread. I'll continue to monitor the thread even though the PR is closed.

Although we have automated the library submission process, all other maintenance of this repository is done by humans. So when you want to accomplish something here other than submitting a library you must communicate in a way that a human can understand.

If English is not your native language, you are welcome to compose the description in your native language and then use an automatic translation service (e.g., Google Translate) to convert it to English language before posting it in a comment.

@per1234 per1234 added topic: submission Add library to the list and removed topic: other Something other than a library list request labels May 28, 2025
@per1234 per1234 closed this May 28, 2025
@per1234 per1234 added the conclusion: duplicate Has already been submitted label May 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: duplicate Has already been submitted topic: submission Add library to the list
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants