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/md/git-bug_push.md | |
| 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/md/git-bug_push.md')
| -rw-r--r-- | doc/md/git-bug_push.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/md/git-bug_push.md b/doc/md/git-bug_push.md index 5e95ea2f..226bc951 100644 --- a/doc/md/git-bug_push.md +++ b/doc/md/git-bug_push.md @@ -7,7 +7,7 @@ Push bugs update to a git remote. Push bugs update to a git remote. ``` -git-bug push [<remote>] [flags] +git-bug push [REMOTE] [flags] ``` ### Options |