From: Andreas Heiduk <asheiduk@gmail.com>
Date: Thu, 3 May 2018 18:48:27 +0000 (+0200)
Subject: doc: add '-d' and '-o' for 'git push'
X-Git-Tag: v2.18.0-rc0~42^2~3
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/97c5d246ec90122b177fbeaa43b74b64a39413d9?ds=inline;hp=97c5d246ec90122b177fbeaa43b74b64a39413d9

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>
---