Update repositories.txt

[HenriqueAleixo]

No description provided.

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/CurtoLab/miniMachine.git:

Linting library in miniMachine
WARNING: A commonly misspelled word was found in the library.properties paragraph field. Suggested correction:          
         Biblioteca para controlar robôs miniMachine usando ESP32 e comunicação BLE para commandos de movimento.        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP035)                                                                                                   
WARNING: Invalid category field value Robotics in library.properties                                           
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP038)                                                                                          
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: 0 ERRORS, 3 WARNINGS

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

Linting sketch in miniMachine/examples/ControleBasico
WARNING: Sketch file/folder name mismatch. The primary sketch file name must match the folder: ControleBasico.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: 0 ERRORS, 4 WARNINGS

[github-actions]

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/CurtoLab/miniMachine/

[HenriqueAleixo]

Hi!
I have fixed all the warnings reported by the linter (misspelled word, category, license file, and example sketch name).
A new release/tag (v1.0.1) has been published with all corrections.

Thank you!

[HenriqueAleixo]

Hi!
I have fixed all the warnings reported by the linter (misspelled word, category, license file, and example sketch name).
A new release/tag (v1.0.2) has been published with all corrections.

Thank you!

[per1234]

Hello @HenriqueAleixo. Thanks for your attention to the best practices recommendations from the bot!

After the initial addition of the library, the indexer job periodically checks each of the libraries in the Arduino Library Manager Registry and picks up any new release/tag that meets the requirements listed here:

https://github.com/arduino/library-registry/blob/main/FAQ.md#what-are-the-requirements-for-publishing-new-releases-of-libraries-already-in-the-library-manager-list

This means there is no need to take any additional action to add new releases of your library to Library Manager. They will be added automagically!

The automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot completely ignores this pull request thread, and thus commenting here doesn't achieve anything

It does take a little time for the indexer job to run, and then some additional time after that for the update to propagate through the CDN and the local cache. But it will get there. We give a conservative estimate of availability within one day's time.

You can monitor the indexing of the library releases by checking the library's dedicated indexer logs web page:
https://github.com/arduino/library-registry/blob/main/FAQ.md#user-content-can-i-check-on-library-releases-being-added-to-library-manager