Adding libraries from github

I am trying to add these two libraries to use on the cloud ide.

Is there a guide on how to add ones not in the community? Search through documentation and forumn :confused:


If it’s just a single use case, you can click the little + icon in the top right and copy the files manually.

Adafruit_VL53L0X is already there