remote-hg: push to the appropriate branch
commit11dc88f49c1dc177132fb724d46c80ae8e6a2e99
authorDusty Phillips <dusty@linux.ca>
Thu, 11 Apr 2013 12:23:08 +0000 (11 07:23 -0500)
committerJunio C Hamano <gitster@pobox.com>
Thu, 11 Apr 2013 17:46:47 +0000 (11 10:46 -0700)
tree63e249607b4014866920e4cbc233ff7efaee1839
parent7a6c1859b69c287a1962c718d93bc8412448e7f8
remote-hg: push to the appropriate branch

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/remote-helpers/git-remote-hg