Update repositories.txt

[jaemannyeh]

I have developed the repository available at https://github.com/jaemannyeh/SharkJ1939. Could you kindly remove this repository, please?

[github-actions]

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

[njh]

@jaemannyeh out of interest, what is the reason for removing the library?

[MatteoPologruto]

Done:

2024/02/21 16:07:19 Loaded 6679 libraries from DB
Removing SharkJ1939
warning: Library Git clone folder /home/ubuntu/workspace/gitclones/github.com/jaemannyeh/SharkJ1939 not present
Success!