From: SZEDER Gábor <szeder@ira.uka.de>
Date: Thu, 24 May 2012 20:49:48 GMT
Subject: Re: [PATCH 2/2] completion: split __git_ps1 into a separate script
Message-ID: <20120524204948.GA9028@goldbirke>
In-Reply-To: <CAMP44s0aKi+8WHPXYLQ+iSMkj9iV88JGTabrpBRNBWb7upAMiQ@mail.gmail.com>

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