From 009b5c0170afe077470c2cc3d07c27d9bd7766bc Mon Sep 17 00:00:00 2001 From: Gerhard Hoffmann Date: Tue, 25 Apr 2023 11:12:26 +0200 Subject: [PATCH] removed changed_file_names --- .githooks/post-merge | 9 --------- 1 file changed, 9 deletions(-) diff --git a/.githooks/post-merge b/.githooks/post-merge index f02162e..993fe49 100755 --- a/.githooks/post-merge +++ b/.githooks/post-merge @@ -27,15 +27,6 @@ get_commit_for_blob () { echo $(git log --all --pretty=format:%H -- $1 | xargs -I{} bash -c "git ls-tree {} -- $1 | grep -q $1 && echo {}") } -changed_file_names () { - for fn in $(git diff-tree -r HEAD@{1} HEAD --name-only); do - # called in repository: $fn is e.g. etc/psa_tariff/tariff01.json - # add '/' prefix - fn=$(echo $fn | awk '{ printf "/"$0 }') - CHANGED_FILE_NAMES+=($fn) - done -} - for fn in $(git diff-tree -r HEAD@{1} HEAD --name-only); do if grep -E -q "(DC.*json|dc.*hex|dc.*bin|tariff.*json)" <<< $fn; then # called in repository: $fn is e.g. etc/psa_tariff/tariff01.json