commit 7cccfb2cf0ed1ed14f6b8a5bdb36459ebcb4db5a
author Conley Owens <cco3@android.com> Wed Jul 29 18:49:12 2015 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Jul 29 18:49:12 2015 +0000
tree 1ec849c8a652c980dee800a877d9362e633a2d57
parent 57f43f49448a9eb255eb2452e902d3f26e77aca3
parent b1a07b8276c02894ae1901d186d916bde2693f05

Merge "InitGitDir: Clean up created directories"

project.py

diff --git a/project.py b/project.py
index 1e3ab6b..9e8ee86 100644
--- a/project.py
+++ b/project.py
@@ -1881,8 +1881,6 @@
       cmd.append('--quiet')
     if not self.worktree:
       cmd.append('--update-head-ok')
-    if self.manifest.IsMirror:
-      cmd.append('--prune')
     cmd.append(name)
 
     # If using depth then we should not get all the tags since they may

subcmds/info.py

diff --git a/subcmds/info.py b/subcmds/info.py
index d42860a..ed196e9 100644
--- a/subcmds/info.py
+++ b/subcmds/info.py
@@ -59,7 +59,8 @@
                       or 'all,-notdefault')
 
     self.heading("Manifest branch: ")
-    self.headtext(self.manifest.default.revisionExpr)
+    if self.manifest.default.revisionExpr:
+        self.headtext(self.manifest.default.revisionExpr)
     self.out.nl()
     self.heading("Manifest merge branch: ")
     self.headtext(mergeBranch)