Update repositories.txt

[robinz-labs]

No description provided.

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/robinz-labs/digishow-rioc:

Linting library in digishow-rioc
INFO: No header file found matching library name (DigiShow_RIOC.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 DigiShow RIOC 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)                                                                                                   

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linting sketch in digishow-rioc/examples/RiocArduino

Linter results for project: no errors or warnings

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

Linting sketch in digishow-rioc/examples/UserChannelDemo

Linter results for project: no errors or warnings

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

Linting sketch in digishow-rioc/examples/UserChannelGroveVisionAI

Linter results for project: no errors or warnings

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

Linting sketch in digishow-rioc/examples/UserChannelLIS3DHTR

Linter results for project: no errors or warnings

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

Linting sketch in digishow-rioc/examples/UserChannelWS2812FX

Linter results for project: no errors or warnings

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

Linting sketch in digishow-rioc/examples/UserChannelXiaoEsp32Sense

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/robinz-labs/digishow-rioc/