Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Change the Search Box behavior in website #254
Actually the search is done with an ENTER press. However, in the file list, the ENTER start a search in list. Not start a new search.