Skip to content

Update repositories.txt #5323

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
Oct 29, 2024
Merged

Update repositories.txt #5323

merged 1 commit into from
Oct 29, 2024

Conversation

@MonHauVD
Copy link
Contributor

@MonHauVD MonHauVD commented Oct 29, 2024

No description provided.

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

A problem was found with your submission https://github.com/MonHauVD/PlayNote

❌ ERROR: The repository has no tags. You need to create a release or tag that matches the version value in the library's library.properties file.

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

github-actions bot commented Oct 29, 2024

Thanks for your interest in contributing to the Arduino Library Manager index @MonHauVD
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

@MonHauVD
Copy link
Contributor Author

MonHauVD commented Oct 29, 2024

@ArduinoBot

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Hello! I'm checking your submission again.

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

❌ ERROR: Arduino Lint found errors with https://github.com/MonHauVD/PlayNote:

Linting library in PlayNote
ERROR: Missing maintainer field in library.properties                                                        
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP025)                                                                                          
WARNING: No license file found.                                                                                                                 
         See:                                                                                                                                   
         https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository
         (Rule LD002)                                                                                                                           

Linter results for project: 1 ERRORS, 1 WARNINGS

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

Linting sketch in PlayNote/examples/LittleStarMix

Linter results for project: no errors or warnings

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

Linting sketch in PlayNote/examples/Rickroll

Linter results for project: no errors or warnings

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

Linter results for projects: 1 ERRORS, 1 WARNINGS

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Thanks for your interest in contributing to the Arduino Library Manager index @MonHauVD
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

@MonHauVD
Copy link
Contributor Author

MonHauVD commented Oct 29, 2024

@ArduinoBot

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Hello! I'm checking your submission again.

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

❌ ERROR: Arduino Lint found errors with https://github.com/MonHauVD/PlayNote:

Linting library in PlayNote
ERROR: Missing maintainer field in library.properties                                                        
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP025)                                                                                          
WARNING: No license file found.                                                                                                                 
         See:                                                                                                                                   
         https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository
         (Rule LD002)                                                                                                                           

Linter results for project: 1 ERRORS, 1 WARNINGS

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

Linting sketch in PlayNote/examples/LittleStarMix

Linter results for project: no errors or warnings

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

Linting sketch in PlayNote/examples/Rickroll

Linter results for project: no errors or warnings

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

Linter results for projects: 1 ERRORS, 1 WARNINGS

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Thanks for your interest in contributing to the Arduino Library Manager index @MonHauVD
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

@MonHauVD
Copy link
Contributor Author

MonHauVD commented Oct 29, 2024

@ArduinoBot

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Hello! I'm checking your submission again.

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

❌ ERROR: Arduino Lint found errors with https://github.com/MonHauVD/PlayNote:

Linting library in PlayNote
ERROR: Missing maintainer field in library.properties                                                        
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP025)                                                                                          
WARNING: No license file found.                                                                                                                 
         See:                                                                                                                                   
         https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository
         (Rule LD002)                                                                                                                           

Linter results for project: 1 ERRORS, 1 WARNINGS

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

Linting sketch in PlayNote/examples/LittleStarMix

Linter results for project: no errors or warnings

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

Linting sketch in PlayNote/examples/Rickroll

Linter results for project: no errors or warnings

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

Linter results for projects: 1 ERRORS, 1 WARNINGS

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Thanks for your interest in contributing to the Arduino Library Manager index @MonHauVD
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

@MonHauVD
Copy link
Contributor Author

MonHauVD commented Oct 29, 2024

@ArduinoBot

@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Hello! I'm checking your submission again.

@github-actions github-actions bot merged commit 4eeadfd into arduino:main Oct 29, 2024
12 checks passed
@github-actions
Copy link
Contributor

github-actions bot commented Oct 29, 2024

Your submission has now been accepted! Thanks for your contribution to the Arduino Library Manager index.

The library(s) will be available for installation via Library Manager within a day's time.

You can check the logs from the Library Manager indexer for your library(s) here:
http://downloads.arduino.cc/libraries/logs/github.com/MonHauVD/PlayNote/

github-actions bot pushed a commit that referenced this pull request Oct 29, 2024
@ArduinoBot
Add submission # 5323
c012809 
#5323
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@github-actions github-actions[bot] github-actions[bot] approved these changes

Assignees

No one assigned

Labels

topic: submission Add library to the list

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@MonHauVD