diff options
| author |  Andreas Heiduk <asheiduk@gmail.com> | 2018-05-03 20:48:27 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-05-06 18:38:43 +0900 |
| commit | 97c5d246ec90122b177fbeaa43b74b64a39413d9 (patch) | |
| tree | 2b52e49d7b3484a58b054f8dc38ca8701a266e02 /Documentation/git-verify-tag.txt | |
| parent | doc: clarify ignore rules for git ls-files (diff) | |
| download | tgif-97c5d246ec90122b177fbeaa43b74b64a39413d9.tar.xz | |
doc: add '-d' and '-o' for 'git push'
Add the missing `-o` shortcut for `--push-option` to the synopsis.
Add the missing `-d` shortcut for `--delete` in the main section.
Signed-off-by: Andreas Heiduk <asheiduk@gmail.com>
Reviewed-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-verify-tag.txt')
0 files changed, 0 insertions, 0 deletions