diff options
-rw-r--r-- | project.py | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -2664,7 +2664,10 @@ class Project: | |||
2664 | # TODO(b/360889369#comment24): git may gc commits incorrectly. | 2664 | # TODO(b/360889369#comment24): git may gc commits incorrectly. |
2665 | # Until the root cause is fixed, retry fetch with --refetch which | 2665 | # Until the root cause is fixed, retry fetch with --refetch which |
2666 | # will bring the repository into a good state. | 2666 | # will bring the repository into a good state. |
2667 | elif gitcmd.stdout and "could not parse commit" in gitcmd.stdout: | 2667 | elif gitcmd.stdout and ( |
2668 | "could not parse commit" in gitcmd.stdout | ||
2669 | or "unable to parse commit" in gitcmd.stdout | ||
2670 | ): | ||
2668 | cmd.insert(1, "--refetch") | 2671 | cmd.insert(1, "--refetch") |
2669 | print( | 2672 | print( |
2670 | "could not parse commit error, retrying with refetch", | 2673 | "could not parse commit error, retrying with refetch", |