repositories.txt: update URL for Gizmo

[the-maldridge]

Due to the repository sprawl that was starting to happen over with all the various components of the Gizmo platform we decided to split it to its own organization where the sprawl wouldn't be an issue. Its still the same team managing everything, just under a different namespace.

[github-actions]

Hi @the-maldridge.
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

[the-maldridge]

Very slick automation. Let me know if there's anything else you need from me or the Gizmo team.

[per1234]

Hello @the-maldridge. I am confirming your request.

Unlike submissions, this type of request is still handled manually. The Library Manager index maintainer occasionally comes through to clear all the outstanding requests. They will merge this pull request when it is done. You will get a notification from GitHub at that time.

After that, you can monitor the indexing of the library via its dedicated logs web page.
Information about that here:
https://github.com/arduino/library-registry/blob/main/FAQ.md#can-i-check-on-library-releases-being-added-to-library-manager

[MatteoPologruto]

Done:

2024/03/14 16:15:36 Loaded 6744 libraries from DB
Changing URL of library Gizmo from https://github.com/bestrobotics/ArduinoGizmo.git to https://github.com/gizmo-platform/ArduinoGizmo.git
Success!