They also removed the repository search box at the top of project page. It slow me down when learning/discovering new project. Good news is that, GitHub don't r

They also removed the repository search box at the top of project page. It slow me down when learning/discovering new project. Good news is that, GitHub don't require login to access the search page. TIPS: append /search or /search?q=QUERY to the URL for accessing the repository search page.