tree 7a95e6ed8f8b74aac5ba59cbd04e6f24938f2e54
parent 6a1f73738071e299f600017d99f7252d41b96b4b
author Victor Boivie <victor.boivie@sonyericsson.com> 1303203012 +0200
committer Shawn O. Pearce <sop@google.com> 1322605498 -0800

Default repo manifest settings in git config

A default manifest URL can be specified using:
  git config --global repo-manifest.<id>.url <url>

A default manifest server can be specified using:
  git config --global repo-manifest.<id>.server <url>

A default git mirror reference can be specified using:
  git config --global repo-manifest.<id>.reference <path>

This will allow the user to use 'repo init -u <id>' as
a shorter alternative to specifying the full URL.

Also, manifest server will not have to be specified in the
manifest XML and the reference will not have to be specified
on the command line. If they are, they will override these
default values however.

Change-Id: Ifdbc160bd5909ec7df9efb0c5d7136f1d9351754
Signed-off-by: Victor Boivie <victor.boivie@sonyericsson.com>