diff options
author | Raman Tenneti <rtenneti@google.com> | 2021-01-11 12:18:47 -0800 |
---|---|---|
committer | Raman Tenneti <rtenneti@google.com> | 2021-01-12 21:49:13 +0000 |
commit | 48b2d10d8f7565173ca53bed0d0be15323512de4 (patch) | |
tree | a6d4eee0c9fcaa8c420a4745bb03749510d85488 /docs/manifest-format.md | |
parent | 0588f3dc527509d9de2fb1467a6d8eeb96292bc0 (diff) | |
download | git-repo-48b2d10d8f7565173ca53bed0d0be15323512de4.tar.gz |
manifest_xml: - Added doc and testing of unknown tags/elements.
Added this test to verify that older versions of repo can handle
"<superproject" element. Tested by adding "<iankaz" unknown element.
Tested the code with the following commands.
$ ./run_tests tests/test_manifest_xml.py
$ ./run_tests -v
Bug: https://crbug.com/gerrit/13709
Tested-by: Raman Tenneti <rtenneti@google.com>
Change-Id: I858d56f38cefcfcd14474efdd631a5a940c3ce47
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/293482
Reviewed-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'docs/manifest-format.md')
-rw-r--r-- | docs/manifest-format.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index 8e5e2874..6156333a 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
@@ -109,6 +109,12 @@ following DTD: | |||
109 | ]> | 109 | ]> |
110 | ``` | 110 | ``` |
111 | 111 | ||
112 | For compatibility purposes across repo releases, all unknown elements are | ||
113 | silently ignored. However, repo reserves all possible names for itself for | ||
114 | future use. If you want to use custom elements, the `x-*` namespace is | ||
115 | reserved for that purpose, and repo guarantees to never allocate any | ||
116 | corresponding names. | ||
117 | |||
112 | A description of the elements and their attributes follows. | 118 | A description of the elements and their attributes follows. |
113 | 119 | ||
114 | 120 | ||