diff options
| author | Mike Frysinger <vapier@google.com> | 2020-05-24 14:56:52 -0400 |
|---|---|---|
| committer | David Pursehouse <dpursehouse@digital.ai> | 2020-05-24 23:51:28 +0000 |
| commit | 7ae210a15bcf319744c2f4c3a3ea19f63444f14c (patch) | |
| tree | afae26d818cf53feeded925d66b806c205bb3848 | |
| parent | 60fc51bb1dcf8970189a544c2ca75f2cdcfdb6f8 (diff) | |
| download | git-repo-7ae210a15bcf319744c2f4c3a3ea19f63444f14c.tar.gz | |
sync: fix duplicate word in description
Bug: https://crbug.com/gerrit/12814
Change-Id: Id722eec9a59dded588f13bc605ce2c94b4047265
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/268739
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@digital.ai>
| -rw-r--r-- | subcmds/sync.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index a40dd5e0..408618f7 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -138,7 +138,7 @@ if the manifest server specified in the manifest file already includes | |||
| 138 | credentials. | 138 | credentials. |
| 139 | 139 | ||
| 140 | By default, all projects will be synced. The --fail-fast option can be used | 140 | By default, all projects will be synced. The --fail-fast option can be used |
| 141 | to halt syncing as soon as possible when the the first project fails to sync. | 141 | to halt syncing as soon as possible when the first project fails to sync. |
| 142 | 142 | ||
| 143 | The --force-sync option can be used to overwrite existing git | 143 | The --force-sync option can be used to overwrite existing git |
| 144 | directories if they have previously been linked to a different | 144 | directories if they have previously been linked to a different |