diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-07-28 20:24:24 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2020-07-28 20:24:24 +0200 |
| commit | ae5c0967cec40a7dcf9804ff592a4d15f1b26569 (patch) | |
| tree | 7c1ba7626fd8158be030876d44ba55daf465d694 /doc/man/git-bug-push.1 | |
| parent | 51c887ff9dd4f2a5f65d2d3de57f8a7729b1010d (diff) | |
| download | git-bug-ae5c0967cec40a7dcf9804ff592a4d15f1b26569.tar.gz | |
commands: cleanup the command's usage to avoid warnings when generating the doc
Diffstat (limited to 'doc/man/git-bug-push.1')
| -rw-r--r-- | doc/man/git-bug-push.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/git-bug-push.1 b/doc/man/git-bug-push.1 index dc694258..19a90cfc 100644 --- a/doc/man/git-bug-push.1 +++ b/doc/man/git-bug-push.1 @@ -9,7 +9,7 @@ git\-bug\-push \- Push bugs update to a git remote. .SH SYNOPSIS .PP -\fBgit\-bug push [] [flags]\fP +\fBgit\-bug push [REMOTE] [flags]\fP .SH DESCRIPTION |