From: Johannes Schindelin Date: Mon, 09 Mar 2009 09:38:07 GMT Subject: Re: [PATCH 1/2] Use a common function to get the pretty name of refs Message-ID: In-Reply-To: Hi, On Sun, 8 Mar 2009, Daniel Barkalow wrote: > The result should be consistent between fetch and push, so we ought to > use the same code in both cases, even though it's short. You might want to mention that we cannot use skip_prefix() here, as that function does not give us any clue if something was skipped at all, and we must _not_ skip multiple prefixes. Ciao, Dscho