diff options
-rw-r--r-- | subcmds/init.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/subcmds/init.py b/subcmds/init.py index bcccae06..803f39a6 100644 --- a/subcmds/init.py +++ b/subcmds/init.py | |||
@@ -315,6 +315,13 @@ to update the working directory files. | |||
315 | # Older versions of git supported worktree, but had dangerous gc bugs. | 315 | # Older versions of git supported worktree, but had dangerous gc bugs. |
316 | git_require((2, 15, 0), fail=True, msg='git gc worktree corruption') | 316 | git_require((2, 15, 0), fail=True, msg='git gc worktree corruption') |
317 | 317 | ||
318 | # Provide a short notice that we're reinitializing an existing checkout. | ||
319 | # Sometimes developers might not realize that they're in one, or that | ||
320 | # repo doesn't do nested checkouts. | ||
321 | existing_checkout = self.manifest.manifestProject.Exists | ||
322 | if not opt.quiet and existing_checkout: | ||
323 | print('repo: reusing existing repo client checkout in', self.manifest.topdir) | ||
324 | |||
318 | self._SyncManifest(opt) | 325 | self._SyncManifest(opt) |
319 | 326 | ||
320 | if os.isatty(0) and os.isatty(1) and not self.manifest.IsMirror: | 327 | if os.isatty(0) and os.isatty(1) and not self.manifest.IsMirror: |