diff options
| author | Junio C Hamano <gitster@pobox.com> | 2016-01-12 15:16:53 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-01-12 15:16:54 -0800 |
| commit | 7b9d1b9556b31fe5f661caa1e82856ca876f2a08 (patch) | |
| tree | 6e862974db7482ccc5d4b5ed28b5dc968acc703f /wrapper.c | |
| parent | ce7da1d2818e42647e96f882bf9cf40a685a771f (diff) | |
| parent | 38a2559113d62b0f67ed968db9ca82330b702a9c (diff) | |
| download | git-7b9d1b9556b31fe5f661caa1e82856ca876f2a08.tar.gz | |
Merge branch 'ps/push-delete-option'
"branch --delete" has "branch -d" but "push --delete" does not.
* ps/push-delete-option:
push: add '-d' as shorthand for '--delete'
push: add '--delete' flag to synopsis
Diffstat (limited to 'wrapper.c')
0 files changed, 0 insertions, 0 deletions