Hello. I want to be sure I understand the question. Are you asking how to publish a library on GitHub?
By "validation in the Arduino directory", I'm guessing you mean that you want to add your library to the Arduino Library Manager index. If I guessed wrong, please correct me.There are a few requirement for this:The library must be in the root of the repository, not under a subfolder. Let's say your repository was named Foo. This would be the structure if your library is in the 1.5 format:Foo|_library.properties|_examples|_srcThis would be the structure if your library is in the 1.0 format:Foo|_Foo.cpp|_Foo.h|_library.properties|_examplesYou can use the official Arduino library repositories as a model:https://github.com/arduino-librariesThe library must have a library.properties file. This is required even if the library is in the 1.0 format. The library.properties file must be compliant with the specification:https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5:-Library-specification#libraryproperties-file-formatThe repository must have a Git tag or GitHub release.There are a few other requirements which are explained here:https://github.com/arduino/Arduino/wiki/Library-Manager-FAQOnce you have your library published on GitHub in the correct form, you only need to open an issue in the arduino/Arduino repository requesting addition to the Arduino Library Manager index, with the URL of the repository.Please let me know if you have any questions or would like me to take a look at one of your repositories.
How do i delete the compressed file?
If you want to do it via the GitHub web interface:Click on the file you want to delete.Click the trash can icon on the right side of the screen.Click the "Commit changes" button.
There are a few other problems with the repository. I was planning to submit pull requests to fix them, since that seems like an easy way to communicate the changes that need to be made. However, you still haven't merged the pull request I submitted two days ago:https://github.com/Sandromesquita/librarie-BridgeHL293/pull/1I recommend that you click the "Watch" button on the home page of your repository and then set it to "Watching". This will make it so you get notifications when people submit pull requests or bug reports to your repositories. Unfortunately, GitHub recently changed so that the default setting of repositories is "Not Watching", so you need to remember to do that manually each time you create a repository.
No, it's not. Please take the time to learn how to merge pull requests:https://help.github.com/articles/merging-a-pull-request/It's as easy as clicking a couple of buttons. This is an essential skill to learn for anyone with a public repository on GitHub.