As discussed in #11268 hide archived repos by default in the dashboard repo-list Signed-off-by: Andrew Thornton <art27@cantab.net>