Re: [PATCH v3] use delete_refs when deleting tags or branches

From: Junio C Hamano <gitster@pobox.com>
Date: Jan 22, 2021, 02:17 UTC
Message-ID: <xmqqlfclaf6b.fsf@gitster.c.googlers.com>
In-Reply-To: <CABURp0pqdK+Mrqi=r40YeUitaB2s44iYO=2UFFSh0UC_o4Mosg@mail.gmail.com>

Phil Hord <phil.hord@gmail.com> writes:

Show 9 quoted lines

> Oof.  Sorry.  I forgot I have diff.noprefix=true in my local config.
> It is a huge timesaver for me when looking at diffs on a console since
> I can quickly highlight the filename with a mouse to paste into an
> editor.
>
> Sometimes it bites me, though.  Usually I notice in the diff, but this
> one I was sending with format-patch / send-email.
>
> I guess I'll turn that off in git.git so I don't misfire at you again someday.

I think per-repository configuration might be sufficient for this particular case (after all, it is project's preference), I wonder if a more command-specific variant of diff.noprefix so that "log -p" and "format-patch" can be configured separately would make sense, something like...

    [diff]
	noprefix = true
    [diff "format-patch"]
	noprefix = false
    [diff "show"]
	noprefix = false