git.99rst.org Git - git.git/commit

author	Junio C Hamano <redacted>
	Tue, 12 Jan 2016 23:16:53 +0000 (15:16 -0800)
committer	Junio C Hamano <redacted>
	Tue, 12 Jan 2016 23:16:54 +0000 (15:16 -0800)
commit	7b9d1b9556b31fe5f661caa1e82856ca876f2a08
tree	6e862974db7482ccc5d4b5ed28b5dc968acc703f	tree \| snapshot
parent	ce7da1d2818e42647e96f882bf9cf40a685a771f	commit \| diff
parent	38a2559113d62b0f67ed968db9ca82330b702a9c	commit \| diff

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

Documentation/git-push.txt	diff1 \|	diff2 \|	blob \| history
builtin/push.c	diff1 \|	diff2 \|	blob \| history

RSS Atom

git clone https://git.99rst.org/PROJECT

Documentation/git-push.txt	diff1 \|	diff2 \|	blob \| history
builtin/push.c	diff1 \|	diff2 \|	blob \| history