Update repositories.txt

[microbotsio]

Add ProtoBot library

[github-actions]

A problem was found with your submission https://github.com/microbotsio/ProtoBot

❌ 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]

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

[microbotsio]

Fixed

[microbotsio]

fixed @ArduinoBot

[github-actions]

Hello! I'm checking your submission again.

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/microbotsio/ProtoBot:

Linting library in ProtoBot
INFO: No header file found matching library name (ProtoBot.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 includes field item(s) ProtoBot.h not found in library.                            
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP052)                                                                                          

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linting sketch in ProtoBot/examples/00_Default

Linter results for project: no errors or warnings

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

Linting sketch in ProtoBot/examples/OLED_Display

Linter results for project: no errors or warnings

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

Linting sketch in ProtoBot/examples/SHTC3_TemperatureHumidity

Linter results for project: no errors or warnings

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

Linter results for projects: 0 ERRORS, 1 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/microbotsio/ProtoBot/