blob: 418e63b1efe1b5e4aefc106a6777fb016750667a [file] [log] [blame]
# Manifests
The files in this repository are referred to as "manifests" and are used by the
jiri tool for multi-repository management. Each manifest describes a set of
projects and each project consists of a remote repository, a local path, and
other optional attributes.
The set of projects that form a Vanadium universe should be closed under
transitive closure with respect to dependencies. In other words, if a project A
depends on a project B, then project A should only be included in manifests
that include project B as well.
For more information on manifests, see the Jiri GoDocs here:
https://godoc.org/v.io/jiri/cmd/jiri#hdr-Jiri_manifest___Description_of_manifest_files
# Code search
The repo/default.xml file is used to configure code search used internally.