Library remove request & Update repositories.txt

[7Semi]

name: "7SemiSHT4x_Lib"
repository: "https://github.com/7Semi/7SemiSHT4x_Lib"
reason: repository URL No longer exist and duplicate library created.

[github-actions]

A problem was found with your submission https://github.com/7Semi/7SemiSHT4x_Lib

❌ ERROR: Unable to load submission URL. Is the repository public?

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @7Semi
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

[per1234]

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.

[MatteoPologruto]

Done:

2025/01/14 15:58:09 Loaded 7661 libraries from DB
Removing 7SemiSHT4x_Lib
warning: Library Git clone folder /home/ubuntu/workspace/gitclones/github.com/7Semi/SevenSemiSHT4x_Lib not present
Success!