diff options
| author | Shawn O. Pearce <sop@google.com> | 2009-06-04 16:15:53 -0700 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2009-06-04 16:20:02 -0700 |
| commit | cd1d7ff81e0b4ab481f83ff883505dbf2442d5be (patch) | |
| tree | e3240e2f0faea4c065f00b0fb07487d2b9747e31 /subcmds/diff.py | |
| parent | da88ff4411e02225a6d511666ed82f7f9711a752 (diff) | |
| download | git-repo-cd1d7ff81e0b4ab481f83ff883505dbf2442d5be.tar.gz | |
sync: Don't process project.list in a mirror
We have no working tree, so we cannot update the project.list
state file, nor should we try to delete a directory if a project is
removed from the manifest. Clients would still need the repository
for historical records.
Signed-off-by: Shawn O. Pearce <sop@google.com>
Diffstat (limited to 'subcmds/diff.py')
0 files changed, 0 insertions, 0 deletions