diff options
| author | Mike Frysinger <vapier@google.com> | 2021-11-12 01:39:21 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2021-11-12 17:30:32 +0000 |
| commit | 3001d6a42645731e5030d238cc739745b9c45817 (patch) | |
| tree | d70e6cbe5c5639d00f801dcdea32efaa7b91f5bb /man/repo.1 | |
| parent | 00c5ea3787a6423db01e961d9aac8fe240e2de08 (diff) | |
| download | git-repo-3001d6a42645731e5030d238cc739745b9c45817.tar.gz | |
help: fix grammar in help text
Bug: https://crbug.com/gerrit/14838
Change-Id: Ic5000921ba9a1baa086153630ebbb429e3d17642
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/323515
Reviewed-by: Jack Neus <jackneus@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'man/repo.1')
| -rw-r--r-- | man/repo.1 | 4 |
1 files changed, 2 insertions, 2 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" "July 2021" "repo" "Repo Manual" | 2 | .TH REPO "1" "November 2021" "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,7 +43,7 @@ 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 | .SS "The complete list of recognized repo commands are:" | 46 | .SS "The complete list of recognized repo commands is:" |
| 47 | .TP | 47 | .TP |
| 48 | abandon | 48 | abandon |
| 49 | Permanently abandon a development branch | 49 | Permanently abandon a development branch |