versioncontrol: Use `RepositoryManager.get_repository()` consistently instead of `Environment.get_repository()`, and updated the documentation of the latter to emphasize the standard way of retrieving a repository.
Authored by: rblank 2010-02-05
Parent: [r9155]
Child: [r9157]