push: add '--prune' option
authorFelipe Contreras <felipe.contreras@gmail.com>
Wed, 22 Feb 2012 22:43:41 +0000 (00:43 +0200)
committerJunio C Hamano <gitster@pobox.com>
Thu, 23 Feb 2012 02:17:39 +0000 (18:17 -0800)
commit6ddba5e...41ebe484d53e3573c72386f487e25697
tree836c5b5...1ee5d900e87ea9d60c32e576e219b68fcopy hash to clipboard (tree)
parent6765524...4a871564835e1cb9d0484277b1b75e79copy hash to clipboard (diff)
Documentation/git-push.txt
builtin/push.c
remote.c
remote.h
t/t5516-fetch-push.sh
transport.c
transport.h