Open
Description
Arduino libraries are stored on github, and can define export-ignore
in .gitattributes
file to specify what exactly needs to go into a release Zip file.
For example, when I click on "Source Code link" on the latest TinyGSM library (https://github.com/vshymanskyy/TinyGSM/releases/latest ), the Zip file I get does not contain the extras
folder at all.
I think Arduino Library Manager should follow these semantics when it grabs the library from github.