installing the repository
development...
You already have a repository and you want to hook it up to the ARIADNE network.