Group by repo on github

When you search code using github, this script can help you group by repo

À partir de 2021-09-25. Voir la dernière version.

Auteur

foamzou

Évaluations

0 0 0

Version

0.2.2

Créer

2021-09-25

Mis à jour

2021-09-25

Taille

15,2 ko

Licence

S/O

S'applique à

Feature

The script will create a button in the code result page, will group by repo for the search result when you click the button
The new page like the following snapshot
- Merged Pages: When the search results are paged, the page will be automatically fetched and updated to the current page in real-time. If you do not want to continue loading new content, you can click the abort button at any time to terminate the fetch
- List All Repo: The helper block shows all repo and info, such as stars, language