Here are some of my thoughts based on my experience in using repos for Arduino libraries.

I think it would be great to have all the libraries up in a repo(s) somewhere.
That would allow people to...