From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 28 Oct 2007 07:28:32 GMT
Subject: Re: [PATCH 5/8] push, send-pack: support pushing HEAD to real ref name
Message-ID: <7vwst7wvdr.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <11935038084055-git-send-email-prohaska@zib.de>

Steffen Prohaska <prohaska@zib.de> writes:

> This teaches "push <remote> HEAD" to resolve HEAD on the local
> side to its real ref name, e.g. refs/heads/master, and then
> use the real ref name on the remote side to search a matching
> remote ref.

This probably is a good idea.

> +	if (real_name) {
> +		free(real_name);
> +	}

Excess and unnecessary brace pair.