diff options
| author | Dan Willemsen <dwillemsen@google.com> | 2015-09-08 13:27:20 -0700 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@google.com> | 2015-09-09 20:50:40 -0700 |
| commit | 5ea32d135963da5542b78895f95332c6a17bbe11 (patch) | |
| tree | 832e03decd9f0d7b412b111e00bd28b89c1c9ea6 /subcmds/help.py | |
| parent | 5cc384034d144c339d2e5822c36c5ca4529ac487 (diff) | |
| download | git-repo-5ea32d135963da5542b78895f95332c6a17bbe11.tar.gz | |
GITC: Always update the gitc manifest from the repo manifestv1.12.31
This way any changes made to the main manifest are reflected in the gitc
manifest. It's also necessary to use both manifests to sync since the
information required to update the gitc manifest is actually in the repo
manifest.
This also fixes a few issues that came up when testing. notdefault
groups weren't being saved to the gitc manifest in a method that matched
'sync'. The merge branch wasn't always being set to the correct value
either.
Change-Id: I435235cb5622a048ffad0059affd32ecf71f1f5b
Diffstat (limited to 'subcmds/help.py')
0 files changed, 0 insertions, 0 deletions