Skip to content
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

Update repositories.txt #5649

Closed
wants to merge 3 commits into from
Closed

Update repositories.txt #5649

wants to merge 3 commits into from

Conversation

farismnrr
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the topic: submission Add library to the list label Dec 23, 2024
Copy link
Contributor

ERROR: Your submission meets all requirements. However, the pull request could not be merged.

Please follow this guide to resolve a merge conflict:
https://docs.github.com/github/collaborating-with-issues-and-pull-requests/resolving-a-merge-conflict-on-github

Once that is done, it will be merged automatically.

@github-actions github-actions bot requested a review from per1234 December 23, 2024 07:42
Copy link
Contributor

Hi @farismnrr.
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 topic: modification Change existing list entry and removed topic: submission Add library to the list labels Dec 23, 2024
@github-actions github-actions bot removed the request for review from per1234 December 23, 2024 07:43
Copy link
Contributor

ERROR: Arduino Lint found errors with https://github.com/bsrahmat/IotNetESP32:

Linting library in IotNetESP32
ERROR: Library name IotNetESP32 not found in the Library Manager index. Library names are not allowed to change after   
       being added to the index.                                                                                        
       See: https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-change-a-librarys-name               
       (Rule LP018)                                                                                                     

Linter results for project: 1 ERRORS, 0 WARNINGS

-------------------

Linting sketch in IotNetESP32/examples/IotNetBlank

Linter results for project: no errors or warnings

-------------------

Linting sketch in IotNetESP32/examples/IotNetControl

Linter results for project: no errors or warnings

-------------------

Linting sketch in IotNetESP32/examples/IotNetMonitor

Linter results for project: no errors or warnings

-------------------

Linting sketch in IotNetESP32/examples/IotNetTwoPins

Linter results for project: no errors or warnings

-------------------

Linter results for projects: 1 ERRORS, 0 WARNINGS

Copy link
Contributor

Thanks for your interest in contributing to the Arduino Library Manager index @farismnrr
Please resolve the error(s) mentioned in the previous comment.

After resolving the issue, trigger this check again by doing one of the following:

  • Commit the required change to the branch you submitted this pull request from.
  • Comment here, mentioning @ArduinoBot in the comment.

NOTE: It is not necessary to open a new pull request. ❗

More information:
https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request

@github-actions github-actions bot requested a review from per1234 December 23, 2024 07:44
@per1234 per1234 added topic: URL change Change library repository URL and removed topic: modification Change existing list entry labels Dec 23, 2024
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.

@farismnrr the current URL is correct so this pull request is invalid.

Please don't submit pointless pull requests. They don't accomplish anything other than wasting your time and wasting my time.

If you hoped to actually accomplish something productive with this, then you are going to need to provide a detailed description of what it was.

@per1234 per1234 closed this Dec 23, 2024
@per1234 per1234 added the topic: invalid Request could not be processed label Dec 23, 2024
@farismnrr
Copy link
Contributor Author

I'm sorry to hear that. It’s my fault, and I’m sorry.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: invalid Request could not be processed topic: URL change Change library repository URL
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants