#398: Command line options to manage repositories