GitHub repos by jetbrains-infra

1 public repo by jetbrains-infra in the catalog, most starred first.