diff options
author | Mike Frysinger <vapier@google.com> | 2022-07-10 05:15:19 -0400 |
---|---|---|
committer | Mike Frysinger <vapier@google.com> | 2022-07-11 16:42:23 +0000 |
commit | d47d9ff1cbb33da4b3e37bc524c58feef6866b7a (patch) | |
tree | a474722189661648f2c3f2a9591c17ea93db2e8e /man/repo.1 | |
parent | 68d69635c7bfef6ed8a5c7e29246265611471e0f (diff) | |
download | git-repo-d47d9ff1cbb33da4b3e37bc524c58feef6866b7a.tar.gz |
man: regenerate
Change-Id: I3ca8ca8f502605b194ebe65b315eda08c51592a6
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/340494
Reviewed-by: LaMont Jones <lamontjones@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'man/repo.1')
-rw-r--r-- | man/repo.1 | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,5 +1,5 @@ | |||
1 | .\" DO NOT MODIFY THIS FILE! It was generated by help2man. | 1 | .\" DO NOT MODIFY THIS FILE! It was generated by help2man. |
2 | .TH REPO "1" "November 2021" "repo" "Repo Manual" | 2 | .TH REPO "1" "July 2022" "repo" "Repo Manual" |
3 | .SH NAME | 3 | .SH NAME |
4 | repo \- repository management tool built on top of git | 4 | repo \- repository management tool built on top of git |
5 | .SH SYNOPSIS | 5 | .SH SYNOPSIS |
@@ -43,6 +43,9 @@ filename of event log to append timeline to | |||
43 | .TP | 43 | .TP |
44 | \fB\-\-git\-trace2\-event\-log\fR=\fI\,GIT_TRACE2_EVENT_LOG\/\fR | 44 | \fB\-\-git\-trace2\-event\-log\fR=\fI\,GIT_TRACE2_EVENT_LOG\/\fR |
45 | directory to write git trace2 event log to | 45 | directory to write git trace2 event log to |
46 | .TP | ||
47 | \fB\-\-submanifest\-path\fR=\fI\,REL_PATH\/\fR | ||
48 | submanifest path | ||
46 | .SS "The complete list of recognized repo commands is:" | 49 | .SS "The complete list of recognized repo commands is:" |
47 | .TP | 50 | .TP |
48 | abandon | 51 | abandon |