Update repositories.txt

[FoltaBozZ]

I created the repository on my private account, but since it belongs to my university I now want to change it to my university account.

[github-actions]

Hi @FoltaBozZ.
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]

Hi @FoltaBozZ.
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

[per1234]

Hello @FoltaBozZ. 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:

2025/07/03 14:02:09 Loaded 8141 libraries from DB
Changing URL of library FVS from https://github.com/FoltaBozZ/fvs-esp32-bib.git to https://github.com/trs-fvs/fvs-esp32-bib.git
Success!