Comment by aabbcc1241

I made a search index for github repo [1] because it takes quite some time for github to load the repositories page (which is the page to allow searching),

And sometimes even using the exact repo name in Google search, I cannot see the corresponding (non-popular) repo.

[1] https://res-index.hkit.cc