skratchdot/github-repo-filter-info.user.js

A user script to display some additional info below the repository filter on a user's main GitHub page.

1 best points · 0 comments · 1 Hacker News post · 9 GitHub stars · View on GitHub

Hacker News discussions

• Github: Repo Filter Info [userscript] (1 points, 0 comments, by BinaryBullet, 2012-08-07)