From 8ea70693649489f7788365d6dd5b31743190dbd7 Mon Sep 17 00:00:00 2001 From: Joe Chacko <143064+joe-chacko@users.noreply.github.com> Date: Fri, 31 May 2024 20:07:52 +0100 Subject: [PATCH] OPS: avoid git diff if 100% similar --- scripts/check-copyright.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/check-copyright.sh b/scripts/check-copyright.sh index 4b18f411..94cae7a4 100755 --- a/scripts/check-copyright.sh +++ b/scripts/check-copyright.sh @@ -137,6 +137,8 @@ while read status && read src && read dst do case "$status" in + R100) log "🫥 Ignoring renamed file: $src -> $dst" ;; + C100) log "🫥 Ignoring copied file: $src -> $dst" ;; R*) isReallyDifferent "$BASE:$src" "$dst" || log "🫥 Ignoring renamed file: $src -> $dst" ;; C*) isReallyDifferent "$BASE:$src" "$dst" || log "🫥 Ignoring copied file: $src -> $dst" ;; *) die "Unexpected status while parsing git diff output: status='$status' src='$src' dst='$dst'" ;;