diff options
| author | Jacky Liu <qsliu@google.com> | 2026-03-16 13:07:39 +0800 |
|---|---|---|
| committer | LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> | 2026-03-18 21:03:07 -0700 |
| commit | 0176586544d36d2902d6b8442ea4dc78e7921b8e (patch) | |
| tree | e3e5c36e9c36bf8849936a45858d02f098f872ea /.project | |
| parent | 582804a59ef11a8e545ace2efb774df5dcbe93ee (diff) | |
| download | git-repo-main.tar.gz | |
Use git_superproject.UseSuperproject() everywheremain
Currently somewhere use git_superproject.UseSuperproject(), which checks
both the manifest config and user's config, and otherwhere use
manifest.manifestProject.use_superproject, which only checks the
manifest config. This causes Inconsistent behaviors for users who do not
set --use-superproject when doing repo init but have
repo.superprojectChoice in their git config.
Replace where using manifest.manifestProject.use_superproject with
git_superproject.UseSuperproject() to respect user's config and avoid
inconsistency.
Bug: 454514213
Change-Id: I1f734235cdd67b8a6915f1d05967d1aaa4d03f2a
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/561801
Commit-Queue: Jacky Liu <qsliu@google.com>
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Jacky Liu <qsliu@google.com>
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions