Repository Search on all Repositories

1/9/2018: Whoops! This post is out of date. For more information on searching repositories on GitHub, check out our documentation. Today we are allowing you to search your own public…