Repositories

For the definition of a repository, see repository.