When I go to github, there&#x27;s a search bar at the top to search for the public repo I&#x27;m looking for.<p>I can&#x27;t find the search feature at gitlab.com. How do I search for users or public repos of interest at gitlab?