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 /builtin/commit.c | |
| parent | doc: clarify ignore rules for git ls-files (diff) | |
| download | git-97c5d246ec90122b177fbeaa43b74b64a39413d9.tar.gz git-97c5d246ec90122b177fbeaa43b74b64a39413d9.zip | |
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 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions