From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 30 Oct 2007 08:28:38 GMT
Subject: Re: [PATCH 03/10] push: support pushing HEAD to real branch name
Message-ID: <7vejfdngzt.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <1193593581486-git-send-email-prohaska@zib.de>

Nice.