This script is now part of the Github Enhancement Suite
skratchdot / github-repo-filter-info.user.js Goto Github PK
View Code? Open in Web Editor NEWA user script to display some additional info below the repository filter on a user's main GitHub page.