diff options
| author | Mike Frysinger <vapier@google.com> | 2020-09-06 14:42:47 -0400 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2020-09-08 17:00:06 +0000 |
| commit | 4e1fc1013c9203d3f5e7bdfba909d175a522c1f3 (patch) | |
| tree | d15174fed0c8ad157a4deba18a20d657d11d6b9b /docs/manifest-format.md | |
| parent | 4b325813fc0ba3f6525a9bacb4daf78fccccc3f6 (diff) | |
| download | git-repo-4e1fc1013c9203d3f5e7bdfba909d175a522c1f3.tar.gz | |
manifest: drop support for local_manifest.xml
We deprecated this 8 years ago. Time to drop it to simplify the code
as it'll help with refactoring in this module to not migrate it.
Change-Id: I2deae5496d1f66a4491408fcdc95cd527062f8b6
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/280798
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Michael Mortensen <mmortensen@google.com>
Diffstat (limited to 'docs/manifest-format.md')
| -rw-r--r-- | docs/manifest-format.md | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index b439dcb7..676e031d 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
| @@ -396,10 +396,4 @@ these extra projects. | |||
| 396 | Manifest files stored in `$TOP_DIR/.repo/local_manifests/*.xml` will | 396 | Manifest files stored in `$TOP_DIR/.repo/local_manifests/*.xml` will |
| 397 | be loaded in alphabetical order. | 397 | be loaded in alphabetical order. |
| 398 | 398 | ||
| 399 | Additional remotes and projects may also be added through a local | 399 | The legacy `$TOP_DIR/.repo/local_manifest.xml` path is no longer supported. |
| 400 | manifest, stored in `$TOP_DIR/.repo/local_manifest.xml`. This method | ||
| 401 | is deprecated in favor of using multiple manifest files as mentioned | ||
| 402 | above. | ||
| 403 | |||
| 404 | If `$TOP_DIR/.repo/local_manifest.xml` exists, it will be loaded before | ||
| 405 | any manifest files stored in `$TOP_DIR/.repo/local_manifests/*.xml`. | ||