LINKDING
Login
Shared bookmarks
Sort by
Added ↑
Added ↓
Title ↑
Title ↓
Apply
Tags
skratchdot/github-code-search.user.js
#blogit
#code
#github
#greasemonkey
#search
|
A very handy userscript that adds a per-repo search box to GitHub pages. Also led me to discover [NinjaKit](http://d.hatena.ne.jp/os0x/20100612/1276330696).
12 years ago
|
View
Shared by
ttscoff
Previous
1
Next
User
Everyone
ttscoff
Apply
Tags
-code
-search
-greasemonkey
b
logit
g
ithub
skratchdot/github-code-search.user.js
https://github.com/skratchdot/github-code-search.user.js
Internet Archive
Tags
#blogit
#code
#github
#greasemonkey
#search
Date added
Jan. 4, 2012, 5:53 a.m.
Description
A very handy userscript that adds a per-repo search box to GitHub pages. Also led me to discover [NinjaKit](http://d.hatena.ne.jp/os0x/20100612/1276330696).
