You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Maybe something to raise with Github? Using a binary storage would probably also solve this problem, although that has other disadvantages (as one wouldn't be able to read the file in the UI).
The text was updated successfully, but these errors were encountered:
wolfv
changed the title
These symbols dominate github search results
These symbols dominate github search results for less-known libraries
Feb 13, 2021
Maybe something to raise with Github? Using a binary storage would probably also solve this problem, although that has other disadvantages (as one wouldn't be able to read the file in the UI).
Unless there is a magic way to skip the json in the search*, yeah, we should raise it with them.
@mariusvniekerk do you know any magic incantation to filter json out?
When looking for my library scikit-geometry by searching for
skgeom
in the global code search, I get quite a few hits from this repo: https://github.com/search?q=skgeom&type=codeMaybe something to raise with Github? Using a binary storage would probably also solve this problem, although that has other disadvantages (as one wouldn't be able to read the file in the UI).
The text was updated successfully, but these errors were encountered: