linkding

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

LINKDING

Shared bookmarks

User

Tags