Renamed Manager.revert_to_repository().

The old name was Manager.revert_from_repository().