tree 03bb9e2711f16706e9580d81cd6325ba2e3699f7
parent f907ced0fead284b733872d9d5fd950996e52e9e
author Raman Tenneti <rtenneti@google.com> 1620421314 -0700
committer Raman Tenneti <rtenneti@google.com> 1620432240 +0000

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>