Github: Repo Filter Info [userscript]https://github.com/skratchdot/github-repo-filter-info.user.js/ by BinaryBullet • 14 years ago 1 0 14 years agoGIgithub.com