mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-21 07:16:21 +00:00
docs: Document .repo_localsyncstate.json
Update docs to reflect the new internal filesystem layout. Bug: b/286126621, b/271507654 Change-Id: I8a2f8f36dff75544f32356ac5e31668f32ddffb3 Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/383074 Reviewed-by: Mike Frysinger <vapier@google.com> Commit-Queue: Gavin Mak <gavinmak@google.com> Tested-by: Gavin Mak <gavinmak@google.com>
This commit is contained in:
parent
8914b1f86d
commit
11cb96030e
@ -42,8 +42,12 @@ For example, if you want to change the manifest branch, you can simply run
|
|||||||
change the git URL/branch that this tracks, re-run `repo init` with the new
|
change the git URL/branch that this tracks, re-run `repo init` with the new
|
||||||
settings.
|
settings.
|
||||||
|
|
||||||
* `.repo_fetchtimes.json`: Used by `repo sync` to record stats when syncing
|
* `.repo_fetchtimes.json`: Used by `repo sync` to record fetch times when
|
||||||
the various projects.
|
syncing the various projects.
|
||||||
|
|
||||||
|
* `.repo_localsyncstate.json`: Used by `repo sync` to detect and warn on
|
||||||
|
on partial tree syncs. Partial syncs are allowed by `repo` itself, but are
|
||||||
|
unsupported by many projects where `repo` is used.
|
||||||
|
|
||||||
### Manifests
|
### Manifests
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user