diff options
author | Dan Willemsen <dwillemsen@google.com> | 2015-08-19 17:54:50 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2015-08-19 17:54:50 +0000 |
commit | dab9e99f0f6d4f82e0e61b37396f7c0915a8d508 (patch) | |
tree | cc87c7480bc528491c038c69ab1f9c9eaf94305f | |
parent | c5f15bf7c0e0d84a319c5d8d7cb8260f28f7fe9c (diff) | |
parent | 25857b8988de60d7c7a8593c6170b2bbf80d748d (diff) | |
download | git-repo-dab9e99f0f6d4f82e0e61b37396f7c0915a8d508.tar.gz |
Merge "Fix formatting of message when retrying clone"
-rw-r--r-- | project.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2182,8 +2182,8 @@ class Project(object): | |||
2182 | try: | 2182 | try: |
2183 | self._CheckDirReference(self.objdir, self.gitdir, share_refs=False) | 2183 | self._CheckDirReference(self.objdir, self.gitdir, share_refs=False) |
2184 | except GitError as e: | 2184 | except GitError as e: |
2185 | print("Retrying clone after deleting %s" % force_sync, file=sys.stderr) | ||
2186 | if force_sync: | 2185 | if force_sync: |
2186 | print("Retrying clone after deleting %s" % self.gitdir, file=sys.stderr) | ||
2187 | try: | 2187 | try: |
2188 | shutil.rmtree(os.path.realpath(self.gitdir)) | 2188 | shutil.rmtree(os.path.realpath(self.gitdir)) |
2189 | if self.worktree and os.path.exists( | 2189 | if self.worktree and os.path.exists( |