Hacker GitHub

← 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

Mentions per year 3 mentions · busiest year 2012 (2)
20082026
AllStoriesComments NewestTopOldest
  1. I remember seeing your original post in December. One of the comments/suggestions was about the Ace editor (and not being able to choose a theme). I ended up making this on that day: https://github.com/skratchdot/github-editor-theme.user.js…
    comment by BinaryBullet · 2013-05-05 · in Let's Make GitHub Better, Together
  2. 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-desc…
    comment by BinaryBullet · 2012-09-20 · in Github redesigns Profiles
  3. ▲ 1
    Github: Repo Filter Info [userscript]
    story by BinaryBullet · 2012-08-07 · 0 comments