Re: Server-side preventing some files from being overwritten

Thorsten Glaser [off-list ref] writes:

On Thu, 14 Jul 2016, Junio C Hamano wrote:

quoted

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.

It is why exactly "diff-tree" is desired here, as you do not have to
diff actual file at all.