git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47481ff)
doc: add '-d' and '-o' for 'git push'
authorAndreas Heiduk <redacted>
Thu, 3 May 2018 18:48:27 +0000 (20:48 +0200)
committerJunio C Hamano <redacted>
Sun, 6 May 2018 09:38:43 +0000 (18:38 +0900)
commit97c5d246ec90122b177fbeaa43b74b64a39413d9
tree2b52e49d7b3484a58b054f8dc38ca8701a266e02tree | snapshot
parent47481ff24f0e94bbfa4b9686664e1f5ed3b863c0commit | diff
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 <redacted>
Reviewed-by: Martin Ågren <redacted>
Signed-off-by: Junio C Hamano <redacted>
Documentation/git-push.txt diff | blob | history
git clone https://git.99rst.org/PROJECT