Update repositories.txt

[brincode]

Update fa3el_kher

[github-actions]

Hi @brincode.
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]

@brincode please don't submit pull requests over and over again. You will never accomplish anything by doing this other than wasting your time and my time. The same result will occur every time. If you didn't get the result you hoped for the first time, then the way to proceed is to carefully study the information provided by the bot as well as the extensive documentation in the readme and the documents linked to from there:

https://github.com/arduino/library-registry#readme

Most likely that will allow you to understand the correct way to proceed. If not, you can add a comment to the pull request thread with a detailed explanation of what you are hoping to accomplish and what it is that wasn't clear in message from the bot and/or the documentation. I monitor all the pull request threads closely so I will see your comment and respond.

Although we have automated the library submission process, all other maintenance of this repository is done by humans. It seems you might be under the impression that this repository is maintained by an omniscient robot that can psychically determine what you are attempting to accomplish by submitting this PR. I am here to help, but I can only do that if you make the effort to communicate with me as a human.