Update repositories.txt

[ben-green-kerro]

No description provided.

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/Kernow-Robotics/Guppy:

Linting library in Guppy
WARNING: Unable to load the library.properties url field: 404 Not Found                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP042)                                                                                          

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linting sketch in Guppy/examples/printBatteryVoltage

Linter results for project: no errors or warnings

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

Linting sketch in Guppy/examples/radio/testRx

Linter results for project: no errors or warnings

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

Linting sketch in Guppy/examples/radio/testTx

Linter results for project: no errors or warnings

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

Linting sketch in Guppy/examples/testMotors

Linter results for project: no errors or warnings

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

Linting sketch in Guppy/examples/testRadioRecieving

Linter results for project: no errors or warnings

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

Linting sketch in Guppy/examples/testSerial

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/Kernow-Robotics/Guppy/