☰

Group by repo on github

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

Δημιουργός
foamzou
Ημερήσιες εγκαταστάσεις
0
Σύνολο εγκαταστάσεων
16
Βαθμολογίες
0 0 0
Έκδοση
0.2.2
Δημιουργήθηκε την
25/09/2021
Ενημερώθηκε την
25/09/2021
Μέγεθος
20 KB
Άδεια
Μη διαθέσιμη
Εφαρμόζεται σε

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