| commit | 97c5d246ec90122b177fbeaa43b74b64a39413d9 | |
| author | Andreas Heiduk <asheiduk@gmail.com> | |
| Thu, 3 May 2018 18:48:27 +0000 (3 20:48 +0200) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Sun, 6 May 2018 09:38:43 +0000 (6 18:38 +0900) | ||
| tree | 2b52e49d7b3484a58b054f8dc38ca8701a266e02 | treesnapshot (tar.gz zip) |
| parent | 47481ff24f0e94bbfa4b9686664e1f5ed3b863c0 | commitdiff |
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>
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>
| Documentation/git-push.txt | diffblobblamehistory |