Added search to the repo list -- tap the search icon to filter by name, remote, committer, or commit message.
