RepoDemo/git-repo
1
0
Fork 0
mirror of https://github.com/Dev-Wiki/git-repo.git synced 2025-02-23 15:07:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

sync: fix duplicate word in description

Browse Source 
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>
This commit is contained in:
Mike Frysinger 2020-05-24 14:56:52 -04:00 committed by David Pursehouse
parent 60fc51bb1d
commit 7ae210a15b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
subcmds/sync.py
View File

@ -138,7 +138,7 @@ if the manifest server specified in the manifest file already includes
credentials. credentials.
By default, all projects will be synced. The --fail-fast option can be used By default, all projects will be synced. The --fail-fast option can be used
to halt syncing as soon as possible when the the first project fails to sync. to halt syncing as soon as possible when the first project fails to sync.
The --force-sync option can be used to overwrite existing git The --force-sync option can be used to overwrite existing git
directories if they have previously been linked to a different directories if they have previously been linked to a different