diff options
| author | Raman Tenneti <rtenneti@google.com> | 2021-05-07 14:01:54 -0700 |
|---|---|---|
| committer | Raman Tenneti <rtenneti@google.com> | 2021-05-08 00:04:00 +0000 |
| commit | 23ea7545244e4bae1fdaed360fa8c25225fa03ec (patch) | |
| tree | 03bb9e2711f16706e9580d81cd6325ba2e3699f7 /git_config.py | |
| parent | f907ced0fead284b733872d9d5fd950996e52e9e (diff) | |
| download | git-repo-23ea7545244e4bae1fdaed360fa8c25225fa03ec.tar.gz | |
sync: added --no-use-superproject to disable superproject.
Tested the code with the following commands.
$ ./run_tests -v
$ repo_dev sync -c -j8 --no-use-superproject
Fetching: 100% (1041/1041), done in 1m22.743s
$ repo_dev sync -c -j8 --use-superproject
WARNING: --use-superproject is experimental and not for general use
..
Bug: [google internal] b/187459275
Change-Id: I3f4269df38cd24a21723e8b2be5a1f013e7b5a91
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/305682
Tested-by: Raman Tenneti <rtenneti@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions