In the "repository search" of the dashbard (sidebar), the search returns both active and archived repos. This can cause issues getting to the right repo when there are two repos with very similar name, one of them being archived.

Could you indicate archived repos as such in the search results, e.g. with an icon or grayed out, or even a separate "archived" category at the bottom of the results?