Update repositories.txt

[Andreas1313]

No description provided.

[github-actions]

A problem was found with your submission https://github.com/Andreas1313/SequenceTiming

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

[github-actions]

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

Closing as duplicate of #6788.

@Andreas1313 please don't submit pointless pull requests to this repository. The Arduino Library Manager Registry contains thousands of libraries from hundreds of authors. Finite resources are available to maintain this resource which is so important to the Arduino community. Pointless pull requests waste those resources and so this is irresponsible behavior.

⚠ Repeated irresponsible behavior may result in the revocation of your Library Manager Registry privileges.

Thanks in advance for your cooperation.

---

Perhaps you actually intended to accomplish something productive with this pull request? If so, I am happy to provide advice on how you can accomplish whatever goal you might have. But I can only do that if you make the effort to clearly communicate your intent. You can do that by adding a detailed description in a reply here on the pull request thread. I'll continue to monitor the thread even though the PR is closed.