Update repositories.txt to add PID_v1_bc

[drf5n]

The PID_v1_bc library is a fork of the https://github.com/br3ttb/Arduino-PID-Library / PID / PID_v1.h library that adds the back-calculation method of integral windup control. See https://github.com/drf5n/Arduino-PID-Library and br3ttb/Arduino-PID-Library#116 and br3ttb/Arduino-PID-Library#76 (comment) for more info.

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/drf5n/Arduino-PID-Library:

Linting library in Arduino-PID-Library
WARNING: No license file found.                                                                                                                 
         See:                                                                                                                                   
         https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository
         (Rule LD002)                                                                                                                           

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linting sketch in Arduino-PID-Library/examples/PID_AdaptiveTunings

Linter results for project: no errors or warnings

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

Linting sketch in Arduino-PID-Library/examples/PID_Basic

Linter results for project: no errors or warnings

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

Linting sketch in Arduino-PID-Library/examples/PID_PonM

Linter results for project: no errors or warnings

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

Linting sketch in Arduino-PID-Library/examples/PID_RelayOutput

Linter results for project: no errors or warnings

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

Linting sketch in Arduino-PID-Library/examples/PID_simulated_heater

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/drf5n/Arduino-PID-Library/

[drf5n]

Updated version to v1.2.5

[per1234]

Hello . After the initial addition of the library, the indexer job periodically checks each of the libraries in the index and picks up any new release/tag that meets the requirements listed here:

https://github.com/arduino/library-registry/blob/main/FAQ.md#what-are-the-requirements-for-publishing-new-releases-of-libraries-already-in-the-library-manager-list

This means there is no need to take any additional action to add new releases of your library to Library Manager. They will be added automagically!

The automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot completely ignores this pull request thread.

It does take a little time for the indexer job to run, and then some additional time after that for the update to propagate through the CDN and the local cache. But it will get there. We give a conservative estimate of availability within one day's time.

You can monitor the indexing of the library releases by checking the library's dedicated indexer logs web page:
https://github.com/arduino/library-registry/blob/main/FAQ.md#user-content-can-i-check-on-library-releases-being-added-to-library-manager

Please let me know if you have any questions or concerns.
Per