Add RotEncoder library to repositories.txt

[JensDMadsen]

This pull request adds the RotEncoder library to the Arduino Library Manager index. The RotEncoder library is optimized for low power consumption, accurate rotary encoder readings, and supports customizable pin configurations.

[github-actions]

A problem was found with your submission https://github.com/JensDMadsen/ISRHandler

❌ ERROR: Submission URL is already in the Library Manager index.

[github-actions]

A problem was found with your submission https://github.com/JensDMadsen/RotEncoder

❌ ERROR: The repository has no tags. You need to create a release or tag that matches the version value in the library's library.properties file.

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @JensDMadsen
Please resolve the error(s) mentioned in the previous comment.

After resolving the issue, trigger this check again by doing one of the following:

• Commit the required change to the branch you submitted this pull request from.
• Comment here, mentioning @ArduinoBot in the comment.

❗ NOTE: It is not necessary to open a new pull request. ❗

More information:
https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request

[github-actions]

A problem was found with your submission https://github.com/JensDMadsen/RotEncoder

❌ ERROR: The repository has no tags. You need to create a release or tag that matches the version value in the library's library.properties file.

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @JensDMadsen
Please resolve the error(s) mentioned in the previous comment.

After resolving the issue, trigger this check again by doing one of the following:

• Commit the required change to the branch you submitted this pull request from.
• Comment here, mentioning @ArduinoBot in the comment.

❗ NOTE: It is not necessary to open a new pull request. ❗

More information:
https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/JensDMadsen/RotEncoder:

Linting library in RotEncoder
WARNING: Unable to load the library.properties url field: 555                                                  
         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 RotEncoder/examples/RotEncoder

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/JensDMadsen/RotEncoder/