diff options
| author | Mike Frysinger <vapier@google.com> | 2024-01-04 12:41:32 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2024-01-04 17:47:22 +0000 |
| commit | a99f19f40e531418b7997518eced8309acb68eca (patch) | |
| tree | 9f9344896e9bc2376519cacaa3151666c1a9bc6e /docs/manifest-format.md | |
| parent | 1f20776dbb3b87ba39928dc4baba58f9c2d17c80 (diff) | |
| download | git-repo-a99f19f40e531418b7997518eced8309acb68eca.tar.gz | |
The master branch is dead. Add banners to all the docs in case people
try referring to these and don't realize they're on the wrong branch.
Change-Id: I3488d0d96df25fafd7285848fe9f519b4205519c
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/400918
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: Josip Sokcevic <sokcevic@google.com>
Diffstat (limited to 'docs/manifest-format.md')
| -rw-r--r-- | docs/manifest-format.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index 676e031d..bdb0ee87 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
| @@ -1,5 +1,8 @@ | |||
| 1 | # repo Manifest Format | 1 | # repo Manifest Format |
| 2 | 2 | ||
| 3 | > **Warning: The "master" branch is no longer used. Use "main" instead.**<br> | ||
| 4 | > https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | ||
| 5 | |||
| 3 | A repo manifest describes the structure of a repo client; that is | 6 | A repo manifest describes the structure of a repo client; that is |
| 4 | the directories that are visible and where they should be obtained | 7 | the directories that are visible and where they should be obtained |
| 5 | from with git. | 8 | from with git. |