Add a --depth option to repo init.
Change-Id: Id30fb4a85f4f8a1847420b0b51a86060041eb5bf
diff --git a/project.py b/project.py
index e5dbf25..9d67dea 100644
--- a/project.py
+++ b/project.py
@@ -1370,6 +1370,13 @@
ref_dir = None
cmd = ['fetch']
+
+ # The --depth option only affects the initial fetch; after that we'll do
+ # full fetches of changes.
+ depth = self.manifest.manifestProject.config.GetString('repo.depth')
+ if depth and initial:
+ cmd.append('--depth=%s' % depth)
+
if quiet:
cmd.append('--quiet')
if not self.worktree: