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)
commit84d52ca...e7044786b5cc448ffeb97b7c1e667156
tree2f57895...2c3dc9e781696c8b33b5593358a4aaeacopy hash to clipboard (tree)
parent9c787f3...88f077ad23498cf03b1b57ac3bd41b33copy hash to clipboard (diff)
parentf517f1f...e9c9e3abe0fde1b3c9a7bb20fdb5ba55copy hash to clipboard (diff)
builtin-push.c
t/t5516-fetch-push.sh