GitHub repos by change-metrics

1 public repo by change-metrics in the catalog, most starred first.