Update repositories.txt

[Ebola-Chan-bot]

Update URL of my repo which was changed to a more appropriate name

[github-actions]

Hi @Silver-Fang.
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

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/Silver-Fang/Cpp_Standard_Library:

Linting library in Cpp_Standard_Library
WARNING: library.properties name value Cpp_Standard_Library is longer than the recommended length of 16 characters.
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format    
         (Rule LP010)                                                                                              
WARNING: Library name Cpp_Standard_Library contains "library". This is superfluous.                            
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
         (Rule LP016)                                                                                          

Linter results for project: 0 ERRORS, 2 WARNINGS

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

Linting sketch in Cpp_Standard_Library/examples/Functional

Linter results for project: no errors or warnings

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

Linting sketch in Cpp_Standard_Library/examples/RandomShuffle

Linter results for project: no errors or warnings

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

Linter results for projects: 0 ERRORS, 2 WARNINGS

[per1234]

Hello @Silver-Fang. 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/09/12 16:06:03 Loaded 7292 libraries from DB
Changing URL of library Cpp_Standard_Library from https://github.com/Silver-Fang/ArduinoSTL.git to https://github.com/Silver-Fang/Cpp_Standard_Library.git
Success!