Subject: Re: [PATCH 2/2] completion: split __git_ps1 into a separate script

From: SZEDER Gábor <[email-masked]>
Date: Thu, 24 May 2012 22:49:48 +0200

On Wed, May 23, 2012 at 05:40:46PM +0200, Felipe Contreras wrote:
> What do we gain by this incredible user annoyance? Less maintenance
> burden of __gitdir() which barely changes anyway?

I happen to have a topic in the works which changes __gitdir() and
adds some helper functions to it, so the diffstat of all
__gitdir()-related changes is this:

 1 file changed, 71 insertions(+), 6 deletions(-)

Gábor