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)
commit6ddba5e241ebe484d53e3573c72386f487e25697
tree836c5b5f1ee5d900e87ea9d60c32e576e219b68f
parent676552464a871564835e1cb9d0484277b1b75e79
push: add '--prune' option

When pushing groups of refs to a remote, there is no simple way to remove
old refs that still exist at the remote that is no longer updated from us.
This will allow us to remove such refs from the remote.

With this change, running this command

 $ git push --prune remote refs/heads/*:refs/remotes/laptop/*

removes refs/remotes/laptop/foo from the remote if we do not have branch
"foo" locally anymore.

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt
builtin/push.c
remote.c
remote.h
t/t5516-fetch-push.sh
transport.c
transport.h