Subject: Re: [PATCH v3 1/5] pull: rename pull.rename to pull.mode

From: Richard Hansen <[email-masked]>
Date: Sat, 12 Oct 2013 00:40:51 -0400

On 2013-10-11 22:08, Felipe Contreras wrote:
> I'm fine with 'echo "warning: foo" >&2', but still, if you really
> cared about consistency, there would be a warn() function

So add one!  It's only one simple line:

    warning() { printf %s\\n "warning: $*" >&2; }

So much discussion for something so trivial...

-Richard