Switch repository

$if null repolist There are no other local repositories. Want to # add one? $else You can switch to any of these other local repositories:

$forall (name, path) <- repolist
• #{name}