GitHub repos by Arduino-CI

1 public repo by Arduino-CI in the catalog, most starred first.