summaryrefslogtreecommitdiffstats
path: root/docs/manifest-format.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/manifest-format.md')
-rw-r--r--docs/manifest-format.md17
1 files changed, 17 insertions, 0 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md
index 2af34ac2..0201c88b 100644
--- a/docs/manifest-format.md
+++ b/docs/manifest-format.md
@@ -111,6 +111,10 @@ A description of the elements and their attributes follows.
111 111
112The root element of the file. 112The root element of the file.
113 113
114### Element notice
115
116Arbitrary text that is displayed to users whenever `repo sync` finishes.
117The content is simply passed through as it exists in the manifest.
114 118
115### Element remote 119### Element remote
116 120
@@ -360,6 +364,19 @@ This element is mostly useful in a local manifest file, where
360the user can remove a project, and possibly replace it with their 364the user can remove a project, and possibly replace it with their
361own definition. 365own definition.
362 366
367### Element repo-hooks
368
369NB: See the [practical documentation](./repo-hooks.md) for using repo hooks.
370
371Only one repo-hooks element may be specified at a time.
372Attempting to redefine it will fail to parse.
373
374Attribute `in-project`: The project where the hooks are defined. The value
375must match the `name` attribute (**not** the `path` attribute) of a previously
376defined `project` element.
377
378Attribute `enabled-list`: List of hooks to use, whitespace or comma separated.
379
363### Element include 380### Element include
364 381
365This element provides the capability of including another manifest 382This element provides the capability of including another manifest