Re: Server-side preventing some files from being overwritten

From

Junio C Hamano <gitster@pobox.com>

Date

Jul 14, 2016, 19:10 UTC

Message-ID

<xmqqbn20qbmr.fsf@gitster.mtv.corp.google.com>

In-Reply-To

<alpine.DEB.2.20.1607142049240.25238@tglase.lan.tarent.de>

Thorsten Glaser <t.glaser@tarent.de> writes:

> On Thu, 14 Jul 2016, Junio C Hamano wrote:
>
>> Can't this become simpler, e.g.
>> 
>> 	if ! git diff-tree --quiet "$old" "$new" -- "$subdir"
>
> Thought about diff-tree, but additions are permitted,

	diff-tree -r --diff-filter=a "$old" "$new" -- "$subdir" 

or something like that?

> and diffing the actual file content has overhead too.