I posted this in the other github comment thread, but here it is again (last time I promise), searchco.de allows you to search over github, http://searchco.de/

I posted this in the other github comment thread, but here it is again (last time I promise), searchco.de allows you to search over github, http://searchco.de/?q=irq_create_mapping+url%3Agithub http://searchco.de/?q=irq_create_mapping+url%3Agithub Its not the full index of public repositories though as I don't have a hook into GitHubs project feeds like I do for Codeplex.