Merge branch 'db/push-single-with-HEAD'
authorJunio C Hamano <gitster@pobox.com>
Wed, 27 Feb 2008 19:54:28 +0000 (11:54 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 27 Feb 2008 19:54:28 +0000 (11:54 -0800)
* db/push-single-with-HEAD:
  Resolve value supplied for no-colon push refspecs

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

diff --cc remote.c
Simple merge
Simple merge