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

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