]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b9ab0e) | patch
push: add '--delete' flag to synopsis
authorPatrick Steinhardt <ps@pks.im>
Mon, 14 Dec 2015 15:23:03 +0000 (16:23 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 14 Dec 2015 21:47:03 +0000 (13:47 -0800)
commitfff69f7053b175be5963b08f802e0e03dccd696a
treebf3cde4e947dd6707f1daf40f3135934392ebd20tree | snapshot
parent4b9ab0ee0130090c63da2df83747b7b1d834ad98commit | diff
push: add '--delete' flag to synopsis

The delete flag is not mentioned in the synopsis of `git-push`.
Add the flag to make it more discoverable.

Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.