Update repositories.txt

[jobitjoseph]

added ESPWeBFileManager Library https://github.com/jobitjoseph/ESPWebFileManager

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/jobitjoseph/ESPWebFileManager:

Linting library in ESPWebFileManager
INFO: No header file found matching library name (EspWebFileManager.h). Best practices are for primary header filename  
      to match library name.                                                                                            
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name value EspWebFileManager is longer than the recommended length of 16 characters.
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format 
         (Rule LP010)                                                                                           

Linter results for project: 0 ERRORS, 1 WARNINGS

-------------------

Linting sketch in ESPWebFileManager/examples/ESPWebFilemanager

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/jobitjoseph/ESPWebFileManager/

[jobitjoseph]

@ArduinoBot

[jobitjoseph]

Update version @ArduinoBot

[per1234]

Hello @jobitjoseph. After the initial addition of the library, the indexer job periodically checks each of the libraries in the index and picks up any new release/tag that meets the requirements listed here:

https://github.com/arduino/library-registry/blob/main/FAQ.md#what-are-the-requirements-for-publishing-new-releases-of-libraries-already-in-the-library-manager-list

This means there is no need to take any additional action to add new releases of your library to Library Manager. They will be added automagically!

The automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot completely ignores this pull request thread.

It does take a little time for the indexer job to run, and then some additional time after that for the update to propagate through the CDN and the local cache. But it will get there. We give a conservative estimate of availability within one day's time.

You can monitor the indexing of the library releases by checking the library's dedicated indexer logs web page:
https://github.com/arduino/library-registry/blob/main/FAQ.md#user-content-can-i-check-on-library-releases-being-added-to-library-manager