Hacker GitHub

← All repos

skratchdot/github-code-search.user.js

View on GitHub ↗ ★ 54 JavaScript

A user script that adds a search box to repository pages which allows you to search the code in that repository.

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

Mentions per year 3 mentions · busiest year 2013 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …kratchdot/github-repo-filter-info.user.j... https://github.com/skratchdot/github-repo-counts.user.js/ https://github.com/skratchdot/github-code-search.user.js/ https://github.com/skratchdot/github-get-missing-description...
    comment by BinaryBullet · 2013-05-05 · in Let's Make GitHub Better, Together
  2. I just updated a userscript I created a while back so it works with the new code search: https://github.com/skratchdot/github-code-search.user.js/ It's just a shortcut for searching the current repository you are viewing (by adding a…
    comment by BinaryBullet · 2013-01-23 · in A Whole New Code Search
  3. ▲ 1
    Extension to search in a github repo
    story by tarr11 · 2012-05-05 · 0 comments