If you have a lot of (or even just a few) Arduino libraries on Github then you might need some help to make those libraries available in the new Arduino IDE library manager. The Arduino team has a…
