Here are a few userscripts that I find helpful on profile pages: https://github.... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		BinaryBullet on Sept 20, 2012 \| parent \| context \| favorite \| on: Github redesigns Profiles Here are a few userscripts that I find helpful on profile pages: https://github.com/skratchdot/github-repo-filter-info.user.j... https://github.com/skratchdot/github-repo-counts.user.js/ https://github.com/skratchdot/github-get-missing-description... They don't address your stream comment, but one of my gripes is not being able to see repo counts when filtering, or having the option to fill in "repo descriptions" for older projects. EDIT: I like the re-design and the fact Github is constantly evolving

kmfrk on Sept 20, 2012 [–]

Those are great! Thanks so much for sharing.

Must be a challenge to keep those repos up to date with the constant changes at GitHub, though.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact