GitHub repos by pushtype

1 public repo by pushtype in the catalog, most starred first.