New repository lists on your dashboard

Last night we rolled out some nifty new repository lists for your dashboard in case you haven’t noticed. Find-as-you-type filter bar: If you know the repository name or owner name…