Re: [PATCH 03/10] push: support pushing HEAD to real branch nameFromJunio C Hamano <gitster@pobox.com>DateOct 30, 2007, 08:28 UTCMessage-ID<7vejfdngzt.fsf@gitster.siamese.dyndns.org>In-Reply-To<1193593581486-git-send-email-prohaska@zib.de>Nice.Previous: Junio C HamanoNext: Junio C Hamano