← All repos

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

View on GitHub ↗ ★ 9 JavaScript

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

3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2012-08-07 · latest 2013-05-05