diff options
author | Kevin Degi <kdegi@codeaurora.org> | 2014-10-16 16:02:58 -0600 |
---|---|---|
committer | Kevin Degi <kdegi@codeaurora.org> | 2015-05-12 09:15:53 -0600 |
commit | 384b3c594831e79348a2eb98809ef9f3e34f6aa2 (patch) | |
tree | 12c9b77879b0937358a9a5fa96d2a1c562180066 /subcmds/gitc_init.py | |
parent | 4ccad7554b958c701653c41a72442cccf301e71a (diff) | |
download | git-repo-384b3c594831e79348a2eb98809ef9f3e34f6aa2.tar.gz |
Fail if gitdir does not point to objdir during sync
There are a set of cases that can cause the git directory in
.repo/projects to point to a directory in .repo/project-objects that
is not the one specified in the manifest. This results in a tree that
is not sane, and so should cause a failure.
In order to reproduce the failure case:
1) Sync to any manifest
2) Change the 'name' of a project to a different repository. Leave the
'path' the same.
3) Resync the modified project. The project-objects directory will not
be created, and the projects directory will remain pointed at the old
project-objects.
Change-Id: Ie6711b1c773508850c5c9f748a27ff72d65e2bf2
Diffstat (limited to 'subcmds/gitc_init.py')
0 files changed, 0 insertions, 0 deletions