Skip to content

Update repositories.txt #5530

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 4 commits into from
Dec 7, 2024
Merged

Update repositories.txt #5530

merged 4 commits into from
Dec 7, 2024

Conversation

baaaaan1
Copy link
Contributor

@baaaaan1 baaaaan1 commented Dec 7, 2024

No description provided.

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

github-actions bot commented Dec 7, 2024

A problem was found with your submission https://github.com/baaaaan1/BuzzerManager

ERROR: Library is missing a library.properties metadata file.

See: https://arduino.github.io/arduino-cli/latest/library-specification/#library-metadata

Copy link
Contributor

github-actions bot commented Dec 7, 2024

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

@baaaaan1
Copy link
Contributor Author

baaaaan1 commented Dec 7, 2024

@ArduinoBot

Copy link
Contributor

github-actions bot commented Dec 7, 2024

Hello! I'm checking your submission again.

Copy link
Contributor

github-actions bot commented Dec 7, 2024

ERROR: Arduino Lint found errors with https://github.com/baaaaan1/BuzzerManager:

Linting library in BuzzerManager
INFO: No header file found matching library name (Buzzer_Manager.h). Best practices are for primary header filename to  
      match library name.                                                                                               
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name Buzzer Manager contains spaces. Although supported, best practices is to not use       
         spaces.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP015)                                                                                                   
ERROR: Missing paragraph field in library.properties                                                         
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP034)                                                                                          
WARNING: Invalid category field value Sound in library.properties                                              
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP038)                                                                                          

Linter results for project: 1 ERRORS, 2 WARNINGS

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

Linting sketch in BuzzerManager/examples/tesBeep
WARNING: Sketch file/folder name mismatch. The primary sketch file name must match the folder: tesBeep.ino
         See: https://arduino.github.io/arduino-cli/latest/sketch-specification/#primary-sketch-file      
         (Rule SS001)                                                                                     

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linter results for projects: 1 ERRORS, 3 WARNINGS

Copy link
Contributor

github-actions bot commented Dec 7, 2024

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

@baaaaan1
Copy link
Contributor Author

baaaaan1 commented Dec 7, 2024

@ArduinoBot

Copy link
Contributor

github-actions bot commented Dec 7, 2024

Hello! I'm checking your submission again.

Copy link
Contributor

github-actions bot commented Dec 7, 2024

ERROR: Arduino Lint found errors with https://github.com/baaaaan1/BuzzerManager:

Linting library in BuzzerManager
INFO: No header file found matching library name (Buzzer_Manager.h). Best practices are for primary header filename to  
      match library name.                                                                                               
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name Buzzer Manager contains spaces. Although supported, best practices is to not use       
         spaces.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP015)                                                                                                   
ERROR: Missing paragraph field in library.properties                                                         
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP034)                                                                                          
WARNING: Invalid category field value Sound in library.properties                                              
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP038)                                                                                          

Linter results for project: 1 ERRORS, 2 WARNINGS

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

Linting sketch in BuzzerManager/examples/tesBeep
WARNING: Sketch file/folder name mismatch. The primary sketch file name must match the folder: tesBeep.ino
         See: https://arduino.github.io/arduino-cli/latest/sketch-specification/#primary-sketch-file      
         (Rule SS001)                                                                                     

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linter results for projects: 1 ERRORS, 3 WARNINGS

Copy link
Contributor

github-actions bot commented Dec 7, 2024

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

@baaaaan1
Copy link
Contributor Author

baaaaan1 commented Dec 7, 2024

@ArduinoBot

Copy link
Contributor

github-actions bot commented Dec 7, 2024

Hello! I'm checking your submission again.

Copy link
Contributor

github-actions bot commented Dec 7, 2024

ERROR: Arduino Lint found errors with https://github.com/baaaaan1/BuzzerManager:

Linting library in BuzzerManager
INFO: No header file found matching library name (Buzzer_Manager.h). Best practices are for primary header filename to  
      match library name.                                                                                               
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name Buzzer Manager contains spaces. Although supported, best practices is to not use       
         spaces.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP015)                                                                                                   
ERROR: Missing paragraph field in library.properties                                                         
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP034)                                                                                          
WARNING: Invalid category field value Sound in library.properties                                              
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP038)                                                                                          

Linter results for project: 1 ERRORS, 2 WARNINGS

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

Linting sketch in BuzzerManager/examples/tesBeep
WARNING: Sketch file/folder name mismatch. The primary sketch file name must match the folder: tesBeep.ino
         See: https://arduino.github.io/arduino-cli/latest/sketch-specification/#primary-sketch-file      
         (Rule SS001)                                                                                     

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linter results for projects: 1 ERRORS, 3 WARNINGS

Copy link
Contributor

github-actions bot commented Dec 7, 2024

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

@baaaaan1
Copy link
Contributor Author

baaaaan1 commented Dec 7, 2024

@ArduinoBot

Copy link
Contributor

github-actions bot commented Dec 7, 2024

Hello! I'm checking your submission again.

Copy link
Contributor

github-actions bot commented Dec 7, 2024

ERROR: Arduino Lint found errors with https://github.com/baaaaan1/BuzzerManager:

Linting library in BuzzerManager
INFO: No header file found matching library name (Buzzer_Manager.h). Best practices are for primary header filename to  
      match library name.                                                                                               
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name Buzzer Manager contains spaces. Although supported, best practices is to not use       
         spaces.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP015)                                                                                                   
ERROR: Missing paragraph field in library.properties                                                         
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP034)                                                                                          
WARNING: Invalid category field value Sound in library.properties                                              
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP038)                                                                                          

Linter results for project: 1 ERRORS, 2 WARNINGS

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

Linting sketch in BuzzerManager/examples/tesBeep
WARNING: Sketch file/folder name mismatch. The primary sketch file name must match the folder: tesBeep.ino
         See: https://arduino.github.io/arduino-cli/latest/sketch-specification/#primary-sketch-file      
         (Rule SS001)                                                                                     

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linter results for projects: 1 ERRORS, 3 WARNINGS

Copy link
Contributor

github-actions bot commented Dec 7, 2024

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

Copy link
Contributor

github-actions bot commented Dec 7, 2024

Hi @baaaaan1.
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 requested review from per1234 and removed request for per1234 December 7, 2024 06:10
Copy link
Contributor

github-actions bot commented Dec 7, 2024

ERROR: Arduino Lint found errors with https://github.com/baaaaan1/BuzzerManager:

Linting library in BuzzerManager
INFO: No header file found matching library name (Buzzer_Manager.h). Best practices are for primary header filename to  
      match library name.                                                                                               
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name Buzzer Manager contains spaces. Although supported, best practices is to not use       
         spaces.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP015)                                                                                                   
ERROR: Missing paragraph field in library.properties                                                         
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP034)                                                                                          
WARNING: Invalid category field value Sound in library.properties                                              
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP038)                                                                                          

Linter results for project: 1 ERRORS, 2 WARNINGS

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

Linting sketch in BuzzerManager/examples/tesBeep
WARNING: Sketch file/folder name mismatch. The primary sketch file name must match the folder: tesBeep.ino
         See: https://arduino.github.io/arduino-cli/latest/sketch-specification/#primary-sketch-file      
         (Rule SS001)                                                                                     

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linter results for projects: 1 ERRORS, 3 WARNINGS

Copy link
Contributor

github-actions bot commented Dec 7, 2024

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

@baaaaan1
Copy link
Contributor Author

baaaaan1 commented Dec 7, 2024

@ArduinoBot

Copy link
Contributor

github-actions bot commented Dec 7, 2024

Hello! I'm checking your submission again.

Copy link
Contributor

github-actions bot commented Dec 7, 2024

ERROR: Arduino Lint found errors with https://github.com/baaaaan1/BuzzerManager:

Linting library in BuzzerManager
INFO: No header file found matching library name (Buzzer_Manager.h). Best practices are for primary header filename to  
      match library name.                                                                                               
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name Buzzer Manager contains spaces. Although supported, best practices is to not use       
         spaces.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP015)                                                                                                   
ERROR: Missing paragraph field in library.properties                                                         
       See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
       (Rule LP034)                                                                                          
WARNING: Invalid category field value Sound in library.properties                                              
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP038)                                                                                          

Linter results for project: 1 ERRORS, 2 WARNINGS

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

Linting sketch in BuzzerManager/examples/tesBeep
WARNING: Sketch file/folder name mismatch. The primary sketch file name must match the folder: tesBeep.ino
         See: https://arduino.github.io/arduino-cli/latest/sketch-specification/#primary-sketch-file      
         (Rule SS001)                                                                                     

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linter results for projects: 1 ERRORS, 3 WARNINGS

Copy link
Contributor

github-actions bot commented Dec 7, 2024

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

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 @baaaaan1. I see you have fixed the error reported by the bot. However, Library Manager works exclusively from Git tags, so the bot won't be able to see the fix you made until you create a new release or tag in the library repository.

If you look at the repository contents at the latest tag, you can see that the version the bot is checking still has the problem:

https://github.com/baaaaan1/BuzzerManager/blob/1.0.0/library.properties

(note that the file did not have a paragraph property at the tagged point in the revision history)

❗ Remember to update the version field in the library's library.properties file as needed before making a release/tag.

Once you have done that, simply mention @ArduinoBot in a comment here to trigger it to run the automated checks again. After those are passing, your library will automatically be added to Library Manager.

If you have any questions or concerns, please let me know.

Regards, Per

@per1234 per1234 added the status: waiting for information More information must be provided before work can proceed label Dec 7, 2024
@baaaaan1 baaaaan1 requested a review from per1234 December 7, 2024 07:05
@baaaaan1
Copy link
Contributor Author

baaaaan1 commented Dec 7, 2024

@ArduinoBot

Copy link
Contributor

github-actions bot commented Dec 7, 2024

Hello! I'm checking your submission again.

@github-actions github-actions bot removed the status: waiting for information More information must be provided before work can proceed label Dec 7, 2024
@github-actions github-actions bot removed the request for review from per1234 December 7, 2024 07:10
@github-actions github-actions bot merged commit 273148f into arduino:main Dec 7, 2024
12 checks passed
Copy link
Contributor

github-actions bot commented Dec 7, 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/baaaaan1/BuzzerManager/

github-actions bot pushed a commit that referenced this pull request Dec 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: submission Add library to the list
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants