Rename DEFAULT_REPOSITORY to DEFAULT_WORKSPACE.