Ignore archived repositories

[ruuda]

When checking access settings, the tool should ignore archived repositories. You can’t push to them anyway, and it’s annoying to change the access settings, it requires un-archiving the repository first.