Merge branch 'jk/push-to-delete'
authorJunio C Hamano <gitster@pobox.com>
Sun, 10 Jan 2010 16:52:45 +0000 (08:52 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 10 Jan 2010 16:52:45 +0000 (08:52 -0800)
* jk/push-to-delete:
  builtin-push: add --delete as syntactic sugar for :foo

1  2 
builtin-push.c
t/t5516-fetch-push.sh

diff --cc builtin-push.c
Simple merge
Simple merge