☰

Group by repo on github

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

Як усталяваць

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

Як усталяваць

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Аўтар
foamzou
Усталяванняў за дзень
0
Усяго ўсталяванняў
18
Рэйтынг
0 0 0
Версія
0.2.2
Створаны
25.09.2021
Абноўлены
25.09.2021
Памер
15.2 КБ
Ліцэнзія
Н/Д
Ужываецца на

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